options; either can be used but they conflict, so allow both as suggested by giovanni@). - install a few more doc files. - move html mini-howto to a README.
options; either can be used but they conflict, so allow both as suggested by giovanni@). - install a few more doc files. - move html mini-howto to a README.