From c8adc864643de1923aa01caf8aff0225c3719f28 Mon Sep 17 00:00:00 2001 From: Arvid Norberg Date: Wed, 3 Jun 2009 08:25:17 +0000 Subject: [PATCH] remove dot from doc makefile --- docs/makefile | 4 ---- 1 file changed, 4 deletions(-) diff --git a/docs/makefile b/docs/makefile index a712c0ef0..f6deca763 100644 --- a/docs/makefile +++ b/docs/makefile @@ -34,10 +34,6 @@ all: html python $(DOCUTILS)/tools/rst2html.py --template=template.txt --stylesheet-path=style.css --link-stylesheet --no-toc-backlinks $? > $@ cp $@ $(WEB_PATH)/$@ -%.png:%.dot - dot -Tpng $? >$@ - cp $@ $(WEB_PATH)/$@ - %.eps:%.dot dot -Teps $? >$@ cp $@ $(WEB_PATH)/$@