summaryrefslogtreecommitdiff
path: root/design/Makefile
diff options
context:
space:
mode:
authordeva <deva>2009-02-12 15:29:50 +0000
committerdeva <deva>2009-02-12 15:29:50 +0000
commit4137259fa6071d2790173f7935f06465df324264 (patch)
tree5de78862f2aac9a3b409a90e6f4688a1cf477e23 /design/Makefile
parent34d22d96cb464feef49bb126dafa59bdf8502d94 (diff)
Lots of changes in the widget documentation...
Diffstat (limited to 'design/Makefile')
-rw-r--r--design/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/design/Makefile b/design/Makefile
index 15b078a..887e16f 100644
--- a/design/Makefile
+++ b/design/Makefile
@@ -4,7 +4,7 @@ FLAGS=-halt-on-error -file-line-error -c-style-errors
#PNGs := $(patsubst %.png,%.eps, $(wildcard *.png))
JPGs := $(patsubst %.jpg,%.eps, $(wildcard *.jpg))
FIGs := $(patsubst %.fig,%.eps, $(wildcard *.fig))
-TEXs := *.tex #$(patsubst %.fig,%.eps, $(wildcard *.fig))
+TEXs := *.tex widgets/*.tex #$(patsubst %.fig,%.eps, $(wildcard *.fig))
.PHONY =dvi ps pdf mpost clean cleanall
all: dvi ps pdf
@@ -20,8 +20,8 @@ $(TARGET).dvi: $(JPGs) $(FIGs) $(TEXs)
$(TARGET).ps: $(TARGET).dvi
dvips -t a4 $(TARGET).dvi -o
-$(TARGET).pdf: $(TARGET).ps
-# ps2pdf14 $(TARGET).ps $(TARGET).pdf
+$(TARGET).pdf: $(JPGs) $(FIGs) $(TEXs)
+ pdflatex $(FLAGS) -jobname $(TARGET) $(SOURCE)
pdflatex $(FLAGS) -jobname $(TARGET) $(SOURCE)
clean: