X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=9f801bc8accbf3c17b41b6fef7101706f4c29a4e;hb=6a50718dac78d358a703d6c1635afc10e1cd0a6d;hp=e18086331f6f975d44434b297983fb860e5d8129;hpb=328f9a9c6219e432140ad846c1c08f1856aa8b39;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index e18086331f..9f801bc8ac 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -167,8 +167,8 @@ CLEANFILES += $(EXAMPLE_TXTS) $(EXAMPLE_SPVS) $(EXAMPLE_TEXIS) $(EXAMPLE_HTML)
 SUFFIXES += .sps .spv .txt .html .texi .pdf
 
 # Use pspp to process a syntax file into an output file.
-pspp = src/ui/terminal/pspp$(EXEEXT)
-$(EXAMPLE_SPVS): $(pspp)
+pspp = src/ui/terminal/pspp
+$(EXAMPLE_SPVS): $(pspp)$(EXEEXT)
 .sps.spv:
 	$(AM_V_GEN)(cd $(top_srcdir)/examples \
          && $(abs_top_builddir)/$(pspp) ../doc/examples/$(<F) -o - -O format=spv) > $@.tmp