author | paulson |
Thu, 05 Jun 1997 13:19:27 +0200 | |
changeset 3400 | 80c979e0d42f |
parent 1349 | ef26adb4e5b6 |
permissions | -rwxr-xr-x |
1314 | 1 |
#!/bin/csh |
2 |
# Executed from the main Isabelle directory, this script removes all files |
|
3 |
# made when Isabelle was used with set MAKE_HTML |
|
4 |
||
1349 | 5 |
rm */.theory_list.txt */*/.theory_list.txt */*/*/.theory_list.txt \ |
6 |
*/index.html */*/index.html */*/*/index.html \ |
|
7 |
*/.*.html */*/.*.html */*/*/.*.html |