On Mon, Jun 2, 2014 at 8:28 PM, Volker Braun <
vbrau...@gmail.com> wrote:
> Whats the command to build the documentation for the web page? Maybe it
> would be easy to simply add that to the release workflow.
It uses the files directly from the /doc subdirectory. I.e. there is a
script from Minh which creates the zip files, and other packages.
Then, it uses this to replace parts on the website. It should still
work, but all the paths to the directories are wrong and so the script
needs some intense hand-holding while hopefully not destroying too
much ;-)
(there is zfs snapshotting underneath, but i have no idea how to rollback)
Harald