diff options
Diffstat (limited to 'testing/octave/less-docs.patch')
| -rw-r--r-- | testing/octave/less-docs.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/octave/less-docs.patch b/testing/octave/less-docs.patch new file mode 100644 index 0000000000..c46ee2553b --- /dev/null +++ b/testing/octave/less-docs.patch @@ -0,0 +1,11 @@ +--- octave-4.0.3/doc/interpreter/Makefile.in.orig ++++ octave-4.0.3/doc/interpreter/Makefile.in +@@ -3357,7 +3357,7 @@ + plot-textproperties.texi: genpropdoc.m + $(AM_V_GEN)$(call gen-propdoc-texi,text) + +-all-local: dvi html pdf ps doc-cache ++all-local: doc-cache + + html: $(HTMLDIR_IMAGES) + |