]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
projects / dealii-svn.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3d84cb7)
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 patch | blob | history

diff --git a/deal.II/doc/Makefile b/deal.II/doc/Makefile
index 94aceb66649abe7caac22355f8858a3c2487e3da..68bdec8ee1a718e19382158a882cb60ca0129037 100644 (file)
--- a/deal.II/doc/Makefile
+++ b/deal.II/doc/Makefile
@@ -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
 
Git mirror of the historical svn repository

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.