1 files changed, 3 insertions, 0 deletions
diff --git a/extra/info/post-install b/extra/info/post-install
new file mode 100755
index 00000000..8e50bc63
--- /dev/null
+++ b/extra/info/post-install
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+find /usr/share/info -type f ! -name dir -exec install-info {} /usr/share/info/dir \;