diff options
Diffstat (limited to 'design/Makefile')
| -rw-r--r-- | design/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/design/Makefile b/design/Makefile index 267be51..15b078a 100644 --- a/design/Makefile +++ b/design/Makefile @@ -21,7 +21,8 @@ $(TARGET).ps: $(TARGET).dvi dvips -t a4 $(TARGET).dvi -o $(TARGET).pdf: $(TARGET).ps - ps2pdf14 $(TARGET).ps $(TARGET).pdf +# ps2pdf14 $(TARGET).ps $(TARGET).pdf + pdflatex $(FLAGS) -jobname $(TARGET) $(SOURCE) clean: rm -f \#* |