]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Find a better way to check whether kdoc is up-to-date when generating docs. If it...
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 26 Jun 2000 11:46:41 +0000 (11:46 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
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/contrib/kdoc/Makefile
deal.II/doc/auto/kdoc/Makefile.in

index 2572773032bea74c73d7d1c7ca2a4f7396baa460..87813b5eadd75e0d9bdcf0ff374223f9ebe3591a 100644 (file)
@@ -2,10 +2,23 @@
 # Makefile for the /contrib subdirectory
 
 
-# by default do nothing
-default:
+# by default: check whether the updated kdoc is up-to-date with the
+# sources
+default: bin/kdoc
 
 
+# let's see whether the installed kdoc is as recent as the sources. we
+# check so by comparing the installation date of the executable with
+# the modification dates of the source `kdoc' and the subpackages used
+# by it. if it is not up-to-date, then install it afresh
+#
+# note that we only check whether bin/kdoc is up-to-date. this
+# suffices, as all the other files are installed at the same time and
+# all-or-none, so they should have the same time stamp
+bin/kdoc: src/kdoc $(shell echo src/kdoc*.pm)
+       @echo ================== Remaking kdoc ====
+       $(MAKE) install
+
 # specific targets
 install:
        cd src ; $(MAKE) ; $(MAKE) install
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.