Admin/maketags
2002-01-11 wenzelm 2002-01-11 #!/usr/bin/env bash;
2000-06-07 wenzelm 2000-06-07 renamed mktags to maketags;