diff options
Diffstat (limited to 'perl_checker.src/Makefile')
| -rw-r--r-- | perl_checker.src/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/perl_checker.src/Makefile b/perl_checker.src/Makefile index 75a375e..b6d716d 100644 --- a/perl_checker.src/Makefile +++ b/perl_checker.src/Makefile @@ -9,7 +9,7 @@ LIBS = unix VENDORLIB = $(shell dirname `pwd`) DEBUG = 1 -default: TAGS build_ml build.ml debug-code native-code +default: TAGS build_ml build.ml debug-code native-code perl_checker.html build_ml: rm -f build.ml @@ -20,6 +20,11 @@ build.ml: echo 'let fake_packages_dir = "'$(VENDORLIB)'/perl_checker_fake_packages"' >> $@ echo 'let debugging = $(DEBUG) > 0' >> $@ +%.html: %.html.pl + rm -f $@ + perl $< > $@ + chmod a-w $@ + tags: ocamltags *.ml |