Re^2: End of Documentation Discussion
Marco Budde writes:
> CS> > Would not texi-html or html-texi be a better name?
> CS> What do the others think about this?
> I would vote for /usr/doc/<package>/html.
I disagree: this would make impossible for info-fans (of which I'm not
:) to exclude only HTML doc when it's available in info.
Yann Dirson <firstname.lastname@example.org>
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .