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 fb646561bab1d778daa049eeaeaad9a4614160a0..77eb016e8365fefb8106636a2ac4a2ab4f487929 100644 (file)
--- 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 (file)
index dcaf716..0000000
--- a/deal.II/doc/glossary/.cvsrc
+++ /dev/null
@@ -1 +0,0 @@
-index.html