diff options
| author | Ørjan Malde <red@foxi.me> | 2024-03-11 15:54:00 +0100 |
|---|---|---|
| committer | Ørjan Malde <red@foxi.me> | 2024-03-11 15:54:00 +0100 |
| commit | cd50e991fb072d0c58ca05746c7b3ef7dc969959 (patch) | |
| tree | b473881b24cc914e4cd1bf86260f0016a4d3380e /patches | |
| parent | 880864a0986ec333e73cd376800c2bfe57c3462f (diff) | |
| download | midipix_build-cd50e991fb072d0c58ca05746c7b3ef7dc969959.tar.bz2 midipix_build-cd50e991fb072d0c58ca05746c7b3ef7dc969959.tar.xz | |
patches/giflib-5.2.2.local.patch: don't generate html stuff
Signed-off-by: Ørjan Malde <red@foxi.me>
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/giflib-5.2.2.local.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/patches/giflib-5.2.2.local.patch b/patches/giflib-5.2.2.local.patch index 8452d9ac..8e421d52 100644 --- a/patches/giflib-5.2.2.local.patch +++ b/patches/giflib-5.2.2.local.patch @@ -1,3 +1,15 @@ +diff -ru giflib-5.2.2.orig/doc/Makefile giflib-5.2.2/doc/Makefile +--- giflib-5.2.2.orig/doc/Makefile 2024-02-18 19:15:05.000000000 +0100 ++++ giflib-5.2.2/doc/Makefile 2024-03-11 15:46:56.522195535 +0100 +@@ -15,7 +15,7 @@ + .adoc.html: + asciidoc $< + +-all: allhtml manpages ++all: manpages + + # The distinction between XMLMAN and XMLINTERNAL is because + # some pages shouldn't be installed as part of a binary package; diff -ru giflib-5.2.2.orig/Makefile giflib-5.2.2/Makefile --- giflib-5.2.2.orig/Makefile 2024-02-19 02:01:50.000000000 +0100 +++ giflib-5.2.2/Makefile 2024-03-11 10:30:17.730765319 +0100 |