From: David Bremner
This allows generation of man page and info document from the same source.
It is also a bit more friendly to edit for most people.
The conversion was done as follows:
% groff -e -mandoc -Tascii -rHY=0 $* | rman -f POD | sed -e '/./,/^$/!d' -e
's/
From: David Bremner brem...@debian.org
This allows generation of man page and info document from the same source.
It is also a bit more friendly to edit for most people.
The conversion was done as follows:
% groff -e -mandoc -Tascii -rHY=0 $* | rman -f POD | sed -e '/./,/^$/!d' -e
's/
Some