Hi Samuel
> > Patch attached; enjoy!
>
> Patch is missing :)
Odd; re-attached...
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-
--- a/debian/rules 2018-10-11 10:17:15.723935403 +0100
--- b/debian/rules 2018-10-11 10:21:50.689666328 +0100
@@ -19,6 +19,8 @@
override_dh_installdocs:
dh_installdocs
rm -f debian/libpomp2-doc/usr/share/doc/opari2/html/jquery.js
+ find debian/*-doc/ -name Makefile -print0 | xargs -0r \
+ sed -i -e 's@ [^ ]*-f\(file\|debug\)-prefix-map=[^ ]*@@g'
override_dh_auto_clean:
dh_auto_clean