From: Wolfgang Bangerth Date: Mon, 21 Feb 2000 12:40:33 +0000 (+0000) Subject: Update make system for glossary. X-Git-Tag: v8.0.0~20912 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f318d68a6aac826d771861e2f18e5357d29847a2;p=dealii.git Update make system for glossary. git-svn-id: https://svn.dealii.org/trunk@2448 0785d39b-7218-0410-832d-ea1e28bc413d --- 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