o Shorten package name so it fits better if no_x11 is used. o Simplify do-install. o Add missing html files to package list. jakob@ ok.
o Shorten package name so it fits better if no_x11 is used. o Simplify do-install. o Add missing html files to package list. jakob@ ok.