diff options
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/freebsd-doc-en/files/patch-share_mk_doc.docbook.mk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/misc/freebsd-doc-en/files/patch-share_mk_doc.docbook.mk b/misc/freebsd-doc-en/files/patch-share_mk_doc.docbook.mk new file mode 100644 index 000000000000..527aa6350506 --- /dev/null +++ b/misc/freebsd-doc-en/files/patch-share_mk_doc.docbook.mk @@ -0,0 +1,11 @@ +--- share/mk/doc.docbook.mk.orig 2018-04-02 17:55:35 UTC ++++ share/mk/doc.docbook.mk +@@ -234,7 +234,7 @@ CLEANFILES+= ${DOC}.aux ${DOC}.dvi ${DOC}.log ${DOC}.o + .if ${RENDERENGINE} == "fop" + XSLTPROCOPTS+= --param img.src.path "'${IMGDIR}/'" + XSLTPROCOPTS+= --param callout.graphics.path "'${CALLOUTDIR}/'" +-XSLTPROCOPTS+= --maxdepth 6000 ++XSLTPROCOPTS+= --maxdepth 12000 + .endif + .for _curimage in ${LOCAL_IMAGES_EPS:M*share*} + CLEANFILES+= ${_curimage:T} ${_curimage:H:T}/${_curimage:T} |