Hi, I must have overlooked (or spam filter ate) this bug report.
This is important bug to fix to get many documentation to comply with the updated policy. Of course, people can use sed script to insert any thing into generated texinfo source. Wait... I added -s option feature to debiandoc2texinfo and debiandoc2info too. debiandoc2texinfo [-O] [-X custom_dir] [-s script] [shared options] debiandoc2info [-X custom_dir] [-s script] [-v] [shared options] So you create sed script to insert such section is proper way. I think all we have to do is show example script in updated manpage. But how many source is affected by this policy issue. Osamu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
