diff options
Diffstat (limited to 'editors/with-editor-devel/files/patch-docs_Makefile')
| -rw-r--r-- | editors/with-editor-devel/files/patch-docs_Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/editors/with-editor-devel/files/patch-docs_Makefile b/editors/with-editor-devel/files/patch-docs_Makefile deleted file mode 100644 index 505eabebdba6..000000000000 --- a/editors/with-editor-devel/files/patch-docs_Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.orig 2024-04-15 15:58:56 UTC -+++ docs/Makefile -@@ -49,7 +49,7 @@ html-dir: $(PKG).texi - - %.pdf: %.texi - @printf "Generating $@\n" -- @texi2pdf --clean $< > /dev/null -+ @texi2pdf $< > /dev/null - - PUBLISH_PATH ?= /manual/ - RELEASE_PATH ?= /manual/$(VERSION)/ |