From: Guido Kanschat Date: Sun, 20 Feb 2000 07:22:13 +0000 (+0000) Subject: start of html glossary X-Git-Tag: v8.0.0~20916 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8b141d6c2267e31d859ce6c482cc4bc972a38d55;p=dealii.git start of html glossary git-svn-id: https://svn.dealii.org/trunk@2444 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/Makefile b/deal.II/doc/Makefile index fb646561ba..77eb016e83 100644 --- a/deal.II/doc/Makefile +++ b/deal.II/doc/Makefile @@ -2,7 +2,7 @@ # generic targets -default: autogen-doc tutorial development validate-xrefs +default: autogen-doc tutorial development validate-xrefs glossary all: default autogen-doc-all @@ -22,6 +22,7 @@ tutorial: development: cd development ; $(MAKE) +glossary: glossary/index.html validate-xrefs: @echo "Validating cross-references in HTML files." @@ -33,4 +34,7 @@ clean: cd tutorial ; $(MAKE) clean cd development ; $(MAKE) clean -.PHONY: default all autogen-doc autogen-doc-all tutorial clean development validate-xrefs +.PHONY: default all autogen-doc autogen-doc-all tutorial clean development validate-xrefs glossary + +glossary/index.html: glossary/extract.pl glossary/glossary.data + perl $^ > $@