"Dr. Volker Zell":
By the way, the old indent package used to have an additional binary
installed:
/usr/bin/texinfo2man
Explained in README:
Port Notes:
- texinfo2man.exe is not installed. Does not belong to
package 'indent'
E.g. Debian 'indent' package does not include it.
Jari
