From c8960506ffcc7996c5f95f0716fdb1641db16e7b Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Sat, 2 Mar 2013 16:32:57 +0000
Subject: [PATCH] delete duplicate file

---
 debian/rules | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/rules b/debian/rules
index 40a8766b..80eefea9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -147,8 +147,8 @@ override_dh_auto_install:
 	cd $(CURDIR)/docs/_build/html/_static/ && rm -f jquery.js && ln -s /usr/share/javascript/jquery/jquery.js
 
 
-override_dh_install:
-	dh_install
+override_dh_installman:
+	dh_installman
 # Make sure that lli manpage is only in llvm-3.2-runtime (See #697117)
 	rm -f $(CURDIR)/debian/llvm-$(LLVM_VERSION)/usr/share/man/man1/lli*