Subject: Re: bug#16295: make-manuals can't generate web manuals with Texinfo 5.1

From: Glenn Morris <[email-masked]>
Date: Fri, 03 Jan 2014 22:20:40 -0500

I think this might work now.
It's all very fragile, please check for oddness in the output.