From 8b141d6c2267e31d859ce6c482cc4bc972a38d55 Mon Sep 17 00:00:00 2001 From: Guido Kanschat Date: Sun, 20 Feb 2000 07:22:13 +0000 Subject: [PATCH] start of html glossary git-svn-id: https://svn.dealii.org/trunk@2444 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/Makefile | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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 $^ > $@ -- 2.39.5