Index: head/editors/slime/files/patch-doc-Makefile =================================================================== --- head/editors/slime/files/patch-doc-Makefile (nonexistent) +++ head/editors/slime/files/patch-doc-Makefile (revision 370971) @@ -0,0 +1,18 @@ +--- doc/Makefile.orig 2014-10-07 19:28:38.000000000 -0700 ++++ doc/Makefile 2014-10-07 19:29:45.000000000 -0700 +@@ -35,13 +35,13 @@ + dvips -o $@ $< + + slime.info: $(TEXI) +- makeinfo $< ++ /usr/local/bin/texi2any $< + + slime.html: $(TEXI) + texi2html --css-include=slime.css $< + + html/index.html: $(TEXI) +- makeinfo -o html --css-include=slime.css --html $< ++ /usr/local/bin/texi2any -o html --css-include=slime.css --html $< + + html.tgz: html/index.html + tar -czf $@ html Property changes on: head/editors/slime/files/patch-doc-Makefile ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property