--- Makefile.orig	Thu Jun 28 09:42:55 2001
+++ Makefile	Fri Jun 29 10:08:52 2001
@@ -65,10 +65,11 @@
 	cd ..; rm -f jlint-$(VERSION).zip; zip -v jlint-$(VERSION).zip $(DISTFILES) `find jlint-$(VERSION)/jlintwin32 | grep -v CVS`
 
 install:
-	cp jlint antic jlint.sh $(INSTALL_DIR)
-	chmod 755 $(INSTALL_DIR)/antic
-	chmod 755 $(INSTALL_DIR)/jlint
-	chmod 755 $(INSTALL_DIR)/jlint.sh
+	$(INSTALL_PROGRAM) antic $(PREFIX)/bin
+	$(INSTALL_PROGRAM) jlint $(PREFIX)/bin
+	$(INSTALL_DATA_DIR) $(PREFIX)/share/doc/jlint
+	$(INSTALL_DATA) manual.html $(PREFIX)/share/doc/jlint
+	$(INSTALL_DATA) manual.pdf $(PREFIX)/share/doc/jlint 
 
 
 # --> automatically generated dependencies follow; do not remove this line.
