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', [], [
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')