X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=25f48159a5c26fafed1ffc27ea206935be007bd5;hb=05813c9943ff069b70f7251669292d65d70b544a;hp=284a8e72fa31a77e92c97b7c53b59328d1ea63ee;hpb=0f833bb108ef5a1d78be8ee31b2fe2855f6bd03b;p=pspp

diff --git a/Makefile b/Makefile
index 284a8e72fa..25f48159a5 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,11 @@ parse-xml.o: CFLAGS := $(shell pkg-config --cflags libxml-2.0) $(base_cflags)
 parse-xml: LDFLAGS := $(shell pkg-config --libs libxml-2.0) $(LDFLAGS)
 dump2.o: CFLAGS := $(base_cflags) -Wno-unused
 
-all: dump dump2 parse-xml
-dump: dump.o
-dump2: dump2.o
+all: dump dump2 parse-xml spv-file-format.text spv-detail.pdf
+dump: dump.o u8-mbtouc.o
+dump2: dump2.o u8-mbtouc.o
 parse-xml: parse-xml.o
+spv-file-format.text: spv-file-format.texi
+	makeinfo --force --plaintext -o $@ $<
+spv-detail.pdf: spv-detail.gv
+	dot -T pdf -o$@ $<