src/Tools/rm_html.sh

changed for new naming style of HTML files (leading ".")

#!/bin/csh
# Executed from the main Isabelle directory, this script removes all files
# made when Isabelle was used with set MAKE_HTML

rm */.theory_list.txt */index.html */.*.html */*/.*.html */*/*/.*.html