From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sun, 20 Feb 2000 07:22:13 +0000 (+0000)
Subject: start of html glossary
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=019420cc2d3a83edc5a34a8412c7c3f6d47b8578;p=dealii-svn.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 $^ > $@
diff --git a/deal.II/doc/glossary/.cvsrc b/deal.II/doc/glossary/.cvsrc
deleted file mode 100644
index dcaf71693e..0000000000
--- a/deal.II/doc/glossary/.cvsrc
+++ /dev/null
@@ -1 +0,0 @@
-index.html