diff options
author | Manoj Srivastava <srivasta@golden-gryphon.com> | 2014-04-25 23:38:06 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@golden-gryphon.com> | 2014-04-25 23:46:08 -0700 |
commit | 5888776eb48b7f18267d99a0d5107d81448c5356 (patch) | |
tree | 5826656a7e6f0b099d672a1455315c415ab4f0a2 /debian/rules | |
parent | bc29909df3c662da30d80f22ded71b05988ac965 (diff) |
[master]: Fix type in the rules file.
over -> over (Closes: #745228)
Signed-off-by: Manoj Srivastava <srivasta@golden-gryphon.com>
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 9034cf5..699bc29 100755 --- a/debian/rules +++ b/debian/rules @@ -68,7 +68,7 @@ override_dh_auto_build: bash -n debian/flex.postinst bash -n debian/flex.prerm -verride_dh_installman: +override_dh_installman: dh_installman dh_link usr/share/man/man1/flex.1 usr/share/man/man1/flex++.1 dh_link usr/share/man/man1/flex.1 usr/share/man/man1/lex.1 |