diff options
| author | deva <deva> | 2008-12-09 11:16:00 +0000 |
|---|---|---|
| committer | deva <deva> | 2008-12-09 11:16:00 +0000 |
| commit | 2d53f43441e22352ded6413e349131fdb8b4f3bf (patch) | |
| tree | e87ce4269b97e1c7bb575646150e7abb825ab0bb /design/Makefile | |
| parent | c18428aa59e693af9debf9f760f52e4c40d2fa47 (diff) | |
Added syntax highlighting fr the pracro xml language.
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 \#* |