]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
glossary before validate
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 21 Feb 2000 17:46:34 +0000 (17:46 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 21 Feb 2000 17:46:34 +0000 (17:46 +0000)
git-svn-id: https://svn.dealii.org/trunk@2453 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile

index 94aceb66649abe7caac22355f8858a3c2487e3da..68bdec8ee1a718e19382158a882cb60ca0129037 100644 (file)
@@ -2,7 +2,7 @@
 
 
 # generic targets
-default: autogen-doc tutorial development validate-xrefs glossary
+default: autogen-doc tutorial development glossary validate-xrefs
 
 all: default autogen-doc-all
 

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.