2001-10-29 | ivan | fix make clean | blob | commitdiff | diff to current |
2001-10-29 | ivan | automate a tiny bit more | blob | commitdiff | diff to current |
2001-08-17 | ivan | alldocs target | blob | commitdiff | diff to current |
2001-07-30 | ivan | need this too! | blob | commitdiff | diff to current |