X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=c571a236d2fc240d8bd841a2ade937ae2791158d;hb=eb182278adbaa6f7dd9cdeaf18b26c2885b32f41;hp=28866ca2e9196eb46143842cb7b1d3a95ba24483;hpb=1886a238904e50ec8419396e9738030991865a80;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 28866ca2e9..c571a236d2 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -45,20 +45,6 @@ doc_pspp_dev_TEXINFOS = doc/version-dev.texi \
 	doc/dev/encrypted-file-wrappers.texi \
 	doc/dev/q2c.texi
 
-if HAVE_DOT
-$(PDFS): doc/dev/spv-structure.pdf
-$(srcdir)/doc/dev/spv-structure.pdf: doc/dev/spv-structure.gv
-	dot -Tpdf < $< > $@
-
-$(DVIS): doc/dev/spv-structure.eps
-$(srcdir)/doc/dev/spv-structure.eps: doc/dev/spv-structure.gv
-	dot -Teps < $< > $@
-endif
-EXTRA_DIST += \
-	doc/dev/spv-structure.gv \
-	doc/dev/spv-structure.pdf \
-	doc/dev/spv-structure.eps
-
 dist_man_MANS += doc/pspp.1 \
                  doc/psppire.1