Priority: low

update-distribution and distribution-name have inconsistent options.

update-distribution should take a --dist option, rather than a
positional parameter.



# tag: Tom Lord Thu Jan 23 02:29:21 2003 (cmd-update-distribution/dist-option)
#
