X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2FSConscript;h=78312004de28d0b119edc19c9b62c4006ae6f86c;hb=25976ed67c66d30811fa0a01043e50347e9d1e69;hp=85654a964ab0fc6ebbe9c419318a649a33dca2d7;hpb=601d1f509f5bb24df167a4dd5a20da67a0af9af8;p=senf.git

diff --git a/doclib/SConscript b/doclib/SConscript
index 85654a9..7831200 100644
--- a/doclib/SConscript
+++ b/doclib/SConscript
@@ -251,17 +251,20 @@ function paths() {
 }
 ?>"""
 
-env.Append( ENV = {
-    'TODAY' : str(datetime.date.today()),
-    'TEXINPUTS' : os.environ.get('TEXINPUTS',env.Dir('#/doclib').abspath + ':'),
-    'DOXYGEN' : env.get('DOXYGEN', 'doxygen'),
-})
+env.SetDefault(
+    DOXYGEN = "doxygen"
+)
 
 env.Replace(
-    ALL_TAGFILES = [],
     DOXYGENCOM = "doclib/doxygen.sh $DOXYOPTS $SOURCE",
 )
 
+env.Append( ENV = {
+    'TODAY' : str(datetime.date.today()),
+    'TEXINPUTS' : os.environ.get('TEXINPUTS',env.Dir('#/doclib').abspath + ':'),
+    'DOXYGEN' : str(env.File(env['DOXYGEN'])),
+})
+
 env.PhonyTarget('linklint', [], [
     'rm -rf linklint',
     'linklint -doc linklint -limit 99999999 `find -type d -name html -printf "/%P/@ "`',
@@ -313,3 +316,5 @@ env.Alias('install_all',
 
 env.Clean('all', 'doxy-header.html') # I should not need this but I do ...
 env.Clean('all_docs', 'doxy-header.html') # I should not need this but I do ...
+
+env.Install('${DOCINSTALLDIR}', 'index.html')