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

diff --git a/doclib/SConscript b/doclib/SConscript
index fc811cd..b709529 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', [], [