 Mike Gerwitz
|
7d6511799e
|
Correct webdoc manual styling for Texinfo 5.2
|
2015-10-27 00:00:05 -04:00 |
|
Mike Gerwitz
|
2525a8326f
|
Correct easejs single HTML manual link
This also cleans up paths in general.
|
2015-08-23 01:20:42 -04:00 |
Mike Gerwitz
|
252d1b640e
|
Now generating docs from {origin/=>}master
Want to be able to test before pushing
|
2014-04-29 03:14:46 -04:00 |
|
Mike Gerwitz
|
89cb872e1d
|
Copyright assignment to the FSF
See master branch for more information.
|
2014-04-09 19:57:57 -04:00 |
|
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 |