PSI sics-cvs-psi-2006

This commit is contained in:
2006-05-08 02:00:00 +00:00
committed by Douglas Clowes
parent ae77364de2
commit 6e926b813f
388 changed files with 445529 additions and 14109 deletions

View File

@@ -4,7 +4,7 @@
# Mark Koennecke, Juli 1998
#------------------------------------------------------------------------
all: topsi dmc sans focus poldi
all: topsi dmc sans focus poldi tricsman userrefman
topsi:
html2tex topman
@@ -30,4 +30,20 @@ poldi:
html2tex poldiman
latex poldiman
latex poldiman
dvips -o poldiman.ps poldiman.dvi
dvips -o poldiman.ps poldiman.dvi
poldi:
html2tex poldiman
latex poldiman
latex poldiman
dvips -o poldiman.ps poldiman.dvi
tricsman:
html2tex tricsman
latex tricsman
latex tricsman
dvips -o tricsman.ps tricsman.dvi
userrefman:
html2tex userrefman
latex userrefman
latex userrefman
dvips -o userrefman.ps userrefman.dvi