@@ -288,7 +288,7 @@ $(web_dest)/: $(MAIN) html/ $(tarball_name)
288 cp $(tarball_name) $(web_dest)/
288 cp $(tarball_name) $(web_dest)/
289 cp $(web_src)/*.css $(web_dest)/
289 cp $(web_src)/*.css $(web_dest)/
290 $(make_page) README > $(web_dest)/README.html
290 $(make_page) README > $(web_dest)/README.html
291− $(make_page) INSTALL > $(web_dest)/install.html
291+ $(make_page) INSTALL > $(web_dest)/INSTALL.html
292 $(make_page) changelog > $(web_dest)/history.html
292 $(make_page) changelog > $(web_dest)/history.html
293 sed -e 's/@TARBALL_NAME@/$(tarball_name)/g' $(web_src)/index.txt | \
293 sed -e 's/@TARBALL_NAME@/$(tarball_name)/g' $(web_src)/index.txt | \
294 sed -e 's/@DEB_NAME@/$(deb_name)/g' | \
294 sed -e 's/@DEB_NAME@/$(deb_name)/g' | \