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 |