[SCM] rtmidi/master: Use .links file rather than creating them manually.
mira-guest at users.alioth.debian.org
mira-guest at users.alioth.debian.org
Sun Oct 22 19:41:26 UTC 2017
The following commit has been merged in the master branch:
commit bebbc744460aaff026c7060430840c3cdae1cd0a
Author: Jaromír Mikeš <mira.mikes at seznam.cz>
Date: Sun Oct 22 21:36:39 2017 +0200
Use .links file rather than creating them manually.
diff --git a/debian/librtmidi-doc.links b/debian/librtmidi-doc.links
new file mode 100644
index 0000000..e7ffffd
--- /dev/null
+++ b/debian/librtmidi-doc.links
@@ -0,0 +1 @@
+usr/share/javascript/jquery/jquery.js usr/share/doc/librtmidi-dev/api_ref/jquery.js
diff --git a/debian/rules b/debian/rules
index f103451..67ef5fb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -1,6 +1,5 @@
#!/usr/bin/make -f
-
-export DH_VERBOSE = 1
+#export DH_VERBOSE = 1
export DEB_BUILD_MAINT_OPTIONS = hardening=+bindnow, +fortify
@@ -27,7 +26,7 @@ override_dh_auto_configure:
dh_auto_configure -- $(CONFIGURE_FLAGS)
override_dh_auto_install:
- ln -sf /usr/share/javascript/jquery/jquery.js doc/html/jquery.js
+ rm -f doc/html/jquery.js
dh_auto_install
override_dh_auto_test:
--
RtMidi packaging
More information about the pkg-multimedia-commits
mailing list