diff options
| author | Rodrigo Osorio <rodrigo@FreeBSD.org> | 2014-10-16 06:06:45 +0000 |
|---|---|---|
| committer | Rodrigo Osorio <rodrigo@FreeBSD.org> | 2014-10-16 06:06:45 +0000 |
| commit | 5fcc76f9d0f248545fed57d2e0ea438fcadbf720 (patch) | |
| tree | 84620dd79eab3c2e835d5e486271e611faf52ce8 /editors | |
| parent | 90e67e34b2c6fb3ed1c24a207c183737a41eccab (diff) | |
| download | ports-5fcc76f9d0f248545fed57d2e0ea438fcadbf720.tar.gz ports-5fcc76f9d0f248545fed57d2e0ea438fcadbf720.zip | |
Notes
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/slime/files/patch-doc-Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/editors/slime/files/patch-doc-Makefile b/editors/slime/files/patch-doc-Makefile new file mode 100644 index 000000000000..befd2dddc54b --- /dev/null +++ b/editors/slime/files/patch-doc-Makefile @@ -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 |