EXTRA_DIST = hydra.8 hydra.texi