Admin/maketags
2002-01-11 wenzelm #!/usr/bin/env bash;
2000-06-07 wenzelm renamed mktags to maketags;
less more (0) tip