From: wolf Date: Wed, 8 Dec 1999 07:39:13 +0000 (+0000) Subject: Check in the right version. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1121dda54b8c799aa1934677f6f0837f13ce7d3;p=dealii-svn.git Check in the right version. git-svn-id: https://svn.dealii.org/trunk@1993 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/auto/Makefile b/deal.II/doc/auto/Makefile index fda9d84c6c..706e179479 100644 --- a/deal.II/doc/auto/Makefile +++ b/deal.II/doc/auto/Makefile @@ -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