diff --git a/Docs/src/SConscript b/Docs/src/SConscript index 2014031b..2a6ada67 100644 --- a/Docs/src/SConscript +++ b/Docs/src/SConscript @@ -109,8 +109,11 @@ else: env.Append(BUILDERS = {'Halibut' : html_builder, 'FixHTML': html_fixer}) html = env.Halibut(htmls, [config_but] + buts) - fixed_html = env.FixHTML(fixed_htmls, htmls) env.Depends(html, halibut) - env.Depends(fixed_html, html) env.DistributeDocs('#Docs/style.css') - env.DistributeDocs(fixed_html) + + if env['PLATFORM'] == 'win32': + env.DistributeDocs(html) + else: + fixed_html = env.FixHTML(fixed_htmls, htmls) + env.DistributeDocs(fixed_html)