[SCM] High-level 3D graphics kit branch, master, updated. debian/3.1.4_abc9f50-2-2-g48c2851

[Anton Gladky]

The following commit has been merged in the master branch:
commit 3637e37433136156fd86ae0e693b60d384e7f39d
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Wed May 29 19:55:44 2013 +0200

    Rename mans for string.h and thread.h. (Closes: #710213)

diff --git a/debian/rules b/debian/rules
index 62dc285..529c5eb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,3 +12,8 @@ DEB_CONFIGURE_EXTRA_FLAGS = --disable-dependency-tracking \
 
 override_dh_auto_configure:
 	dh_auto_configure -- $(DEB_CONFIGURE_EXTRA_FLAGS)
+
+override_dh_installman:
+	mv $(CURDIR)/debian/tmp/usr/share/man/man3/string.h.3 $(CURDIR)/debian/tmp/usr/share/man/man3/string_coin.h.3
+	mv $(CURDIR)/debian/tmp/usr/share/man/man3/thread.h.3 $(CURDIR)/debian/tmp/usr/share/man/man3/thread_coin.h.3
+	dh_installman

-- 
High-level 3D graphics kit