EXTRA_DIST =                       \
          bulkman.pl               \
          CHM_HTB2devhelp.README   \
          texi2devhelp.sh          \
          README
syntax highlighted by Code2HTML, v. 0.9.1