Daily documentation build?

Páli Gábor János pali.gabor at gmail.com
Fri Nov 7 09:45:33 UTC 2014

2014-11-06 13:49 GMT+01:00 Páli Gábor János <pali.gabor at gmail.com>:
>> Having that would have made it easier for me to review the state of the
>> docs on flags that Jan is writing about.
> Until the Windows build is fixed, I could do documentation builds
> without the Win32 library if that is okay.

All right, I have now generated the documentation build without the
Haddock of the Win32 library -- with a ".noWin32" suffix -- and added
to the site:


And I have set up a cron job to do this daily.  This will
automatically omit the suffix and add the Win32 documentation, when
the Windows builds are available.

More information about the ghc-devs mailing list