--- Makefile.in.old     2006-07-31 16:45:07.000000000 +0200
+++ Makefile.in 2006-07-31 16:45:38.000000000 +0200
@@ -183,6 +183,7 @@
        $(SHTOOL) mkdir -f -p -m 755 $(DESTDIR)$(libdir)/pkgconfig
        $(SHTOOL) install -e 's;#!\./js;#!$(bindir)/js;' -c -m 755 jslint.js $(DESTDIR)$(bindir)/jslint
        $(SHTOOL) install -c -m 644 js.1 $(DESTDIR)$(mandir)/man1/
+       $(SHTOOL) install -c -m 644 js-config.1 $(DESTDIR)$(mandir)/man1/
        $(SHTOOL) install -c -m 644 js.3 $(DESTDIR)$(mandir)/man3/
        $(SHTOOL) install -c -m 644 src/js*.h $(DESTDIR)$(includedir)/js/
        @$(LIBTOOL) --mode=install $(SHTOOL) install -c -m 644 $(LIB_NAME) $(DESTDIR)$(libdir)/