diff options
Diffstat (limited to 'debian/patches/local.extra-magic.patch')
| -rw-r--r-- | debian/patches/local.extra-magic.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/local.extra-magic.patch b/debian/patches/local.extra-magic.patch new file mode 100644 index 0000000..b38154f --- /dev/null +++ b/debian/patches/local.extra-magic.patch @@ -0,0 +1,15 @@ +Subject: Extra magic file, to be upstreamed +Author: Christoph Biedl <debian.axhn@manchmal.in-ulm.de> +Date: 2018-07-18 +Forwarded: not-yet + +--- a/magic/Makefile.am ++++ b/magic/Makefile.am +@@ -10,6 +10,7 @@ + MAGIC_FRAGMENTS = \ + $(MAGIC_DIR)/Header \ + $(MAGIC_DIR)/Localstuff \ ++$(MAGIC_FRAGMENT_DIR)/../../debian/debian-extra-magic \ + $(MAGIC_FRAGMENT_DIR)/acorn \ + $(MAGIC_FRAGMENT_DIR)/adi \ + $(MAGIC_FRAGMENT_DIR)/adventure \ |