- Updated docs
SKIPPED: psi/utils/SerPortServer.c
This commit is contained in:
@ -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
|
||||
|
||||
|
Reference in New Issue
Block a user