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

diff --git a/doclib/SConscript b/doclib/SConscript
index fc811cd..7831200 100644
--- a/doclib/SConscript
+++ b/doclib/SConscript
@@ -262,7 +262,7 @@ env.Replace(
 env.Append( ENV = {
     'TODAY' : str(datetime.date.today()),
     'TEXINPUTS' : os.environ.get('TEXINPUTS',env.Dir('#/doclib').abspath + ':'),
-    'DOXYGEN' : env.File(env['DOXYGEN']).abspath,
+    'DOXYGEN' : str(env.File(env['DOXYGEN'])),
 })
 
 env.PhonyTarget('linklint', [], [
@@ -316,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')