}
?>"""
-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/@ "`',