dia command line options
authorTom Henderson <tomh@tomh.org>
Fri, 23 May 2008 14:51:05 -0700
changeset 3089 1d39b05b67d3
parent 3088 5260a46ff439
child 3090 bb5c9e8041cd
dia command line options
doc/tutorial/Makefile
--- a/doc/tutorial/Makefile	Fri May 23 12:26:21 2008 -0700
+++ b/doc/tutorial/Makefile	Fri May 23 14:51:05 2008 -0700
@@ -27,8 +27,8 @@
 	cd figures/; $(TGIF) -print -png $(TGIF_SOURCES) 
 	cd figures/; $(TGIF) -print -eps $(TGIF_SOURCES) 
 	cd figures/; $(foreach FILE,$(TGIF_EPS),$(EPSTOPDF) $(FILE);)
-	cd figures/; $(DIA) --export-to-format=png $(DIA_SOURCES) 
-	cd figures/; $(DIA) --export-to-format=eps $(DIA_SOURCES) 
+	cd figures/; $(DIA) -t png $(DIA_SOURCES) 
+	cd figures/; $(DIA) -t eps $(DIA_SOURCES) 
 	cd figures/; $(foreach FILE,$(DIA_EPS),$(EPSTOPDF) $(FILE);)
 
 html: images