Check in the new git-based makepub.
[gnus] / makepub
2011-02-21 Lars IngebrigtsenCheck in the new git-based makepub.