development:
cd development ; $(MAKE)
-glossary: glossary/index.html
+glossary:
+ cd glossary ; $(MAKE)
+
validate-xrefs:
@echo "Validating cross-references in HTML files."
cd tutorial ; $(MAKE) validate-xrefs
cd development ; $(MAKE) validate-xrefs
+ cd glossary ; $(MAKE) validate-xrefs
+
clean:
cd auto ; $(MAKE) clean
cd tutorial ; $(MAKE) clean
cd development ; $(MAKE) clean
+ cd glossary ; $(MAKE) clean
+
.PHONY: default all autogen-doc autogen-doc-all tutorial clean development validate-xrefs glossary
-glossary/index.html: glossary/extract.pl glossary/glossary.data
- perl $^ > $@
--- /dev/null
+# $Id$
+
+# include defaults file
+D = ../..
+include $D/common/Make.global_options
+
+
+default: index.html
+
+index.html: extract.pl glossary.data
+ $(PERL) $^ > $@
+
+
+validate-xrefs:
+ $(PERL) $D/doc/auto/scripts/validate-xrefs.pl index.html
+
+
+clean:
+ -rm -f index.html
+
+
+
+.PHONY: clean default validate-xrefs
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams