--- ./Makefile.orig Wed Apr 25 22:23:20 2007 +++ ./Makefile Wed Apr 25 22:24:00 2007 @@ -135,14 +135,12 @@ print : Lhs2TeX.dvi $(DVIPS) -D600 -f Lhs2TeX.dvi | lpr -Pa -Zl -install : bin doc +install : bin $(MKINSTDIR) $(DESTDIR)$(bindir) $(INSTALL) -m 755 lhs2TeX $(DESTDIR)$(bindir) $(MKINSTDIR) $(DESTDIR)$(stydir) $(INSTALL) -m 644 lhs2TeX.sty lhs2TeX.fmt $(DESTDIR)$(stydir) $(INSTALL) -m 644 Library/*.fmt $(DESTDIR)$(stydir) - $(MKINSTDIR) $(DESTDIR)$(docdir) - $(INSTALL) -m 644 doc/Guide2.pdf $(DESTDIR)$(docdir) $(MKINSTDIR) $(DESTDIR)$(mandir)/man1 $(INSTALL) -m 644 lhs2TeX.1 $(DESTDIR)$(mandir)/man1 ifeq ($(INSTALL_POLYTABLE),yes) @@ -157,6 +155,10 @@ else echo "Please update the TeX filename database." endif + +install-doc : doc + $(MKINSTDIR) $(DESTDIR)$(docdir) + $(INSTALL) -m 644 doc/Guide2.pdf $(DESTDIR)$(docdir) srcdist : INSTALL doc if test -d $(DISTDIR); then $(RM) -rf $(DISTDIR); fi