]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Update make system for glossary.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 21 Feb 2000 12:40:33 +0000 (12:40 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 21 Feb 2000 12:40:33 +0000 (12:40 +0000)
git-svn-id: https://svn.dealii.org/trunk@2448 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile
deal.II/doc/glossary/Makefile [new file with mode: 0644]

index 77eb016e8365fefb8106636a2ac4a2ab4f487929..94aceb66649abe7caac22355f8858a3c2487e3da 100644 (file)
@@ -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 (file)
index 0000000..89dffe7
--- /dev/null
@@ -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

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.