diff options
| author | rodrigo <rodrigo@FreeBSD.org> | 2014-10-16 14:06:45 +0800 |
|---|---|---|
| committer | rodrigo <rodrigo@FreeBSD.org> | 2014-10-16 14:06:45 +0800 |
| commit | b3dbd7e213359e03d9a2843b7b41b28986a440f2 (patch) | |
| tree | 84620dd79eab3c2e835d5e486271e611faf52ce8 /editors | |
| parent | f2848271ff344b1954d1b29affe49108b306c021 (diff) | |
| download | freebsd-ports-gnome-b3dbd7e213359e03d9a2843b7b41b28986a440f2.tar.gz freebsd-ports-gnome-b3dbd7e213359e03d9a2843b7b41b28986a440f2.tar.zst freebsd-ports-gnome-b3dbd7e213359e03d9a2843b7b41b28986a440f2.zip | |
Update editors/slime to 2.10
PR: ports/194240
Submitted by: joe@thrallingpenguin.com (maintainer)
Approved by: mentors (implicit)
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 |