]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Check in the right version.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 8 Dec 1999 07:39:13 +0000 (07:39 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 8 Dec 1999 07:39:13 +0000 (07:39 +0000)
git-svn-id: https://svn.dealii.org/trunk@1993 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/auto/Makefile

index fda9d84c6c5bc390b85f9683c5d18163b9f3ceaa..706e179479ee13b12515756783ed9bf0b44815a9 100644 (file)
@@ -45,8 +45,8 @@ kdoc.library-files = kdoc/base.kdoc         \
 kdoc.library-files.rerun = $(kdoc.library-files:%.kdoc=%.kdoc.rerun)
 
 
-#KDOCFLAGS   = -I../scripts/kdoc ../scripts/kdoc/kdoc -a -p
-KDOCFLAGS   = /home/people/wolf/tmp/kdoc-2.0a19/bin/kdoc -a -p
+KDOCFLAGS   = -I../scripts/kdoc ../scripts/kdoc/kdoc -a -p
+#KDOCFLAGS   = /home/people/wolf/tmp/kdoc/kdoc-2.a22/bin/kdoc -a -p
 ifeq ($(shell uname),SunOS)
 DOCPP = /home/people/wolf/Config/doc++/doc++
 #DOCPP = /home/people/kanschat/bin/doc++
@@ -55,7 +55,7 @@ DOCPP = doc++
 endif
 
 
-# by default: make docu libraries and generate an index of all names
+# by default: make library doc and generate an index of all names
 default: kdoc kdoc/names.html
 
 # alternatively: do the above and also generate a backlog of CVS

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.