Mike Gerwitz
|
968c6aa91f
|
Body class correction for manual pages
man=>manual
|
2013-12-25 02:07:33 -05:00 |
|
Mike Gerwitz
|
18884274d3
|
Adjusted webdoc script to work with gnu changes
|
2013-12-25 00:40:29 -05:00 |
|
Mike Gerwitz
|
0133bc59d7
|
Updated webdoc script to run autoreconf (needed for gnu changes)
|
2013-12-24 22:41:50 -05:00 |
|
Mike Gerwitz
|
1119b46e58
|
Added my trademark (but not really trademarked) ``GNU/Linux Inside!'' page fold
This also corrects image paths in manual subdirs.
|
2013-12-24 19:35:44 -05:00 |
|
Mike Gerwitz
|
3f1a9c3607
|
{man=>manual}.html and {manual=>manual/easejs}.html
This is more consistent with GNU recommendations (though not exact).
|
2013-12-24 15:31:55 -05:00 |
|
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 |