linse/sics
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Einbindung des POLDI-Manual, geaenderte Ausgabe (Drucker -> Postscript File)

Browse Source
This commit is contained in:
cvs
2002-07-10 11:19:09 +00:00
parent ee143c691c
commit 3733c77caf
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
doc/user/Makefile
View File

@ -4,25 +4,30 @@
# Mark Koennecke, Juli 1998 # Mark Koennecke, Juli 1998
#------------------------------------------------------------------------ #------------------------------------------------------------------------
all: topsi dmc sans focus all: topsi dmc sans focus poldi
topsi: topsi:
html2tex topman html2tex topman
latex topman latex topman
latex topman latex topman
dvips topman dvips -o topman.ps topman.dvi
dmc: dmc:
html2tex dmcman html2tex dmcman
latex dmcman latex dmcman
latex dmcman latex dmcman
dvips dmcman dvips -o dmcman.ps dmcman.dvi
sans: sans:
html2tex sansman html2tex sansman
latex sansman latex sansman
latex sansman latex sansman
dvips sansman dvips -o sansman.ps sansman.dvi
focus: focus:
html2tex foman html2tex foman
latex foman latex foman
latex foman latex foman
dvips foman dvips -o foman.ps foman.dvi
poldi:
html2tex poldiman
latex poldiman
latex poldiman
dvips -o poldiman.ps poldiman.dvi