[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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 <dirson@univ-mlv.fr>

TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .

Reply to: