[bug #35543] add DOCTYPE to HTML output

2012-09-12 Thread Patrice Dumas
Update of bug #35543 (project texinfo): Open/Closed:Open = Closed Status:None = Fixed ___ Follow-up Comment #1: This is fixed in

Re: [bug #35543] add DOCTYPE to HTML output

2012-02-21 Thread Václav Zeman
On 2012-02-16 23:44, k...@freefriends.org wrote: I have noticed on monotone documentation uses too small fonts. It turned out to be a problem with standards vs quirks mode. It appears that adding a DOCTYPE to the generated HTML fixes this. The attached patch does just that.

[bug #35543] add DOCTYPE to HTML output

2012-02-16 Thread Václav Haisman
URL: http://savannah.gnu.org/bugs/?35543 Summary: add DOCTYPE to HTML output Project: texinfo - GNU documentation system Submitted by: wilx Submitted on: Thu 16 Feb 2012 09:33:40 GMT Category: makeinfo

Re: [bug #35543] add DOCTYPE to HTML output

2012-02-16 Thread Karl Berry
I have noticed on monotone documentation uses too small fonts. It turned out to be a problem with standards vs quirks mode. It appears that adding a DOCTYPE to the generated HTML fixes this. The attached patch does just that. Thanks for the report and patch, but ... I can only