From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 13 Oct 2012 14:46:22 +0000 (+0200)
Subject: doc/automake.mk: Added a convenience rule for building all the documentation formats
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5c2f784f64268b841b8c31cd04c9372fbe782165;p=pspp

doc/automake.mk: Added a convenience rule for building all the documentation formats
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 6db82bfb7e..2a06686d65 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -83,3 +83,5 @@ dist_docbook_DATA = doc/pspp.xml
 EXTRA_DIST += doc/OChangeLog
 CLEANFILES += pspp-dev.dvi $(docbook_DATA)
 
+doc: $(INFO_DEPS) $(DVIS) $(PDFS) $(PSS) $(HTMLS) $(dist_docbook_DATA)
+.PHONY: doc