@comment This file intentionally left empty (all installed files are
@comment manpages and they are listed in Makefile)
