Commit 627fdb4b authored by Axel Beckert's avatar Axel Beckert

Finetune regular expression to replace <timer/> output in docs

It seems as if in some cases there is a line break between "<pre>" and
"user" and sometimes not. So far we only caught the latter case. Now
we should also catch the former case and hopefully not any other case.

Hopefully closes: #833437
parent 857c4a9c
mp4h (1.3.1-16) UNRELEASED; urgency=medium
* Finetune regular expression for replacing <timer/> output in HTML
documentation to gain reproducibility. (Hopefully closes: #833437)
-- Axel Beckert <> Fri, 12 Aug 2016 23:56:18 +0200
mp4h (1.3.1-15) unstable; urgency=medium
* Also overwrite the "sys" time counter in documentation examples. Can
......@@ -82,7 +82,7 @@ override_dh_installdocs:
# documentation and hence varies _always_. But since this is
# just an example value, we retroactively hardcode it to a
# fixed value so that the package builds reproducible.
sed -e 's/^\(user\|sys\) [0-9][0-9]*/\1 23/g' -i debian/mp4h/usr/share/doc/mp4h/mp4h.html
sed -e 's/\b\(user\|sys\) [0-9][0-9]*/\1 23/g' -i debian/mp4h/usr/share/doc/mp4h/mp4h.html
# NOOP to avoid lintian warning
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment