1
0
Fork 0
Commit Graph

4 Commits (10528811a2916fc5cb083a8d3109ca295bdfa582)

Author SHA1 Message Date
Mike Gerwitz aff3d410b2
webdoc will now use origin/master by default
- More sensical for CI where master may not be up to date
- Can be overridden with WEBDOC_BRANCH
2012-05-08 19:10:43 -04:00
Mike Gerwitz 55648e35a6
Resolved multi-page manual webdoc hyperlink path issues 2012-05-08 19:06:24 -04:00
Mike Gerwitz d31fed33c0
Corrected closing body and html tags in webdoc 2012-05-07 23:50:24 -04:00
Mike Gerwitz 0fb5235aa5
Added webdoc tool to style manual like the website
This is important for consistency. Besides --- the website looks a hell of a lot
better than the default manual theme.
2012-05-07 21:50:47 -04:00