diff options
Diffstat (limited to 'devel/forge-devel/files/patch-docs_Makefile')
| -rw-r--r-- | devel/forge-devel/files/patch-docs_Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/forge-devel/files/patch-docs_Makefile b/devel/forge-devel/files/patch-docs_Makefile deleted file mode 100644 index b123a9e81803..000000000000 --- a/devel/forge-devel/files/patch-docs_Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.orig 2024-05-23 11:03:19 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)/ |