X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=5e208d79bc0e7eeddb39e55653a553306f8a93a3;hb=914508121b223930139c4f7beb14a252ca84c0f1;hp=348323a9a631f3b6650162bedf5a22aa79f0604a;hpb=317044f9d3cd7abf6dff515574538e59657f98af;p=pspp

diff --git a/Makefile b/Makefile
index 348323a9a6..5e208d79bc 100644
--- a/Makefile
+++ b/Makefile
@@ -4,10 +4,12 @@ base_ldflags := $(LDFLAGS)
 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
+dump-spo.o: CFLAGS := $(base_cflags) -Wno-unused
+dump-spo2.o: CFLAGS := $(base_cflags) -Wno-unused
 
-all: dump dump2 parse-xml spv-file-format.text
+all: dump dump2 parse-xml dump-spo dump-spo2
+dump-spo: dump-spo.o u8-mbtouc.o
+dump-spo2: dump-spo2.o u8-mbtouc.o
 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 $@ $<