]> https://gitweb.dealii.org/ - dealii.git/commitdiff
start of html glossary
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Sun, 20 Feb 2000 07:22:13 +0000 (07:22 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Sun, 20 Feb 2000 07:22:13 +0000 (07:22 +0000)
git-svn-id: https://svn.dealii.org/trunk@2444 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile

index fb646561bab1d778daa049eeaeaad9a4614160a0..77eb016e8365fefb8106636a2ac4a2ab4f487929 100644 (file)
@@ -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 $^ > $@

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.