diff options
Diffstat (limited to 'multimedia/ffmpeg23/files/patch-doc-Makefile')
| -rw-r--r-- | multimedia/ffmpeg23/files/patch-doc-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/multimedia/ffmpeg23/files/patch-doc-Makefile b/multimedia/ffmpeg23/files/patch-doc-Makefile new file mode 100644 index 000000000000..43d20bb897a7 --- /dev/null +++ b/multimedia/ffmpeg23/files/patch-doc-Makefile @@ -0,0 +1,11 @@ +--- doc/Makefile.orig 2015-01-06 18:58:54 UTC ++++ doc/Makefile +@@ -130,7 +130,7 @@ install-html: $(HTMLPAGES) + endif + + ifdef CONFIG_MANPAGES +-install-progs-$(CONFIG_DOC): install-man ++#install-progs-$(CONFIG_DOC): install-man + + install-man: $(MANPAGES) + $(Q)mkdir -p "$(MANDIR)/man1" |