]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Find a better way to check whether kdoc is up-to-date when generating docs. If it...
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 26 Jun 2000 11:46:41 +0000 (11:46 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Mon, 26 Jun 2000 11:46:41 +0000 (11:46 +0000)
git-svn-id: https://svn.dealii.org/trunk@3074 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/auto/kdoc/Makefile.in

index 32c49217eb6e1ac13e50570493353e7a9a6929a5..fa53852af1371b63eaedaec45ca9d53e4939fae9 100644 (file)
@@ -46,18 +46,11 @@ endif
 kdoc: kdoc-installed $(kdoc.library-files)
 
 
-# check whether kdoc is already installed. if not, then try to do so
+# check whether kdoc is already installed. if not, then try to do
+# so. also install afresh if not up-to-date with the sources
 kdoc-installed:
-       @if test ! -d $(kdocdir) ; then  \
-           echo "========================================" ; \
-           echo "Trying to install kdoc first" ;  \
-           echo "========================================" ; \
-           cd $(kdocdir:kdoc/bin=kdoc) ;    \
-           $(MAKE) install ;  \
-           echo "========================================" ; \
-           echo "Done" ;  \
-           echo "========================================" ; \
-        fi
+       cd $(kdocdir:kdoc/bin=kdoc) ; $(MAKE)
+
 
 
 # now for the generation of the documentation of the sublibraries.

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.