From 019420cc2d3a83edc5a34a8412c7c3f6d47b8578 Mon Sep 17 00:00:00 2001
From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
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 ++++++--
 deal.II/doc/glossary/.cvsrc | 1 -
 2 files changed, 6 insertions(+), 3 deletions(-)
 delete mode 100644 deal.II/doc/glossary/.cvsrc

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
-- 
2.39.5