From: Ben Pfaff Date: Sat, 24 Oct 2020 20:24:15 +0000 (-0700) Subject: doc: Add targets to build example outputs and HTML. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41de5884c602e78d51ef38f7377a4d9031ccdbfb;p=pspp doc: Add targets to build example outputs and HTML. --- diff --git a/doc/automake.mk b/doc/automake.mk index 0c5493f685..6f9ad07232 100644 --- a/doc/automake.mk +++ b/doc/automake.mk @@ -135,6 +135,10 @@ EXTRA_DIST += $(EXAMPLE_SYNTAX) EXAMPLE_OUTPUTS = $(EXAMPLE_SYNTAX:.sps=.out) EXAMPLE_HTML = $(EXAMPLE_SYNTAX:.sps=.html) +example-outputs: $(EXAMPLE_OUTPUTS) +example-html: $(EXAMPLE_HTML) +PHONY += example-outputs example-html + $(top_builddir)/doc/pspp.info: $(EXAMPLE_OUTPUTS) $(top_builddir)/doc/pspp.ps: $(EXAMPLE_OUTPUTS) $(top_builddir)/doc/pspp.dvi: $(EXAMPLE_OUTPUTS)