Hi, On Wed, Nov 04, 2015 at 07:15:48PM +0100, Holger Wansing wrote: > Osamu Aoki <os...@debian.org> wrote: ... > > It only lists HTML pages. (Maybe you can blame me for this.) > > Now the txt variants are there again at > https://www.debian.org/doc/user-manuals. > (I have removed them for the time being, and yesterday re-activated them.) > > At the moment the txt variants are all dead links.
... > > PS: Your patch on the BTS seems to achieve what you wish. But why do we > > have to change it into what you suggest? Is there any negatives? (I am > > neutral. I am just asking this as question.) > > Because we have dead links for txt versions at the moment :-) I now see the whole picture :-) I am a bit reluctant to change the file name if we can fix situation via https://www.debian.org/doc/user-manuals Bug me if I do not fix this in a month or so. Good night. Osamu
