Comment #2 on issue 2520 by chip...@gmail.com: How to turn txt files in the
doc folder into html files
I think this is a separate bug?
My question is though, why do you want to do this? You should just use the
docs on the website. The ones in our tree aren't intended to be built by
users, and are part of a larger build system.
You received this message because you are subscribed to the Google Groups
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at