From a07c5c1f9e2c8968f6c89129ba12c247870a3cfa Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 21 Feb 2000 12:40:33 +0000
Subject: [PATCH] Update make system for glossary.

git-svn-id: https://svn.dealii.org/trunk@2448 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/Makefile          | 10 +++++++---
 deal.II/doc/glossary/Makefile | 23 +++++++++++++++++++++++
 2 files changed, 30 insertions(+), 3 deletions(-)
 create mode 100644 deal.II/doc/glossary/Makefile

diff --git a/deal.II/doc/Makefile b/deal.II/doc/Makefile
index 77eb016e83..94aceb6664 100644
--- a/deal.II/doc/Makefile
+++ b/deal.II/doc/Makefile
@@ -22,19 +22,23 @@ tutorial:
 development:
 	cd development ; $(MAKE)
 
-glossary: glossary/index.html
+glossary:
+	cd glossary ; $(MAKE)
+
 
 validate-xrefs:
 	@echo "Validating cross-references in HTML files."
 	cd tutorial ; $(MAKE) validate-xrefs
 	cd development ; $(MAKE) validate-xrefs
+	cd glossary ; $(MAKE) validate-xrefs
+
 
 clean:
 	cd auto ; $(MAKE) clean
 	cd tutorial ; $(MAKE) clean
 	cd development ; $(MAKE) clean
+	cd glossary ; $(MAKE) clean
+
 
 .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/Makefile b/deal.II/doc/glossary/Makefile
new file mode 100644
index 0000000000..89dffe7165
--- /dev/null
+++ b/deal.II/doc/glossary/Makefile
@@ -0,0 +1,23 @@
+# $Id$
+
+# include defaults file
+D = ../..
+include $D/common/Make.global_options
+
+
+default: index.html
+
+index.html: extract.pl glossary.data
+	$(PERL) $^ > $@
+
+
+validate-xrefs:
+	$(PERL) $D/doc/auto/scripts/validate-xrefs.pl index.html
+
+
+clean:
+	-rm -f index.html
+
+
+
+.PHONY: clean default validate-xrefs
-- 
2.39.5