Version 0.10.0 release.

[refind] / debian / debinstall

diff --git a/debian/debinstall b/debian/debinstall
index 6fc7d52296c111589215d3eb00115107acbc8b12..1036d30d166626bfc02c852231e47b88f0b9ec8b 100755 (executable)
--- a/debian/debinstall
+++ b/debian/debinstall
@@ -43,9 +43,15 @@ install -Dp -m0755 refind-install $BUILD_ROOT/usr/share/refind/
 
 # Copy documentation to /usr/share/doc/refind
 mkdir -p $BUILD_ROOT/usr/share/doc/refind
-cp -a docs/* $BUILD_ROOT/usr/share/doc/refind/
+cp -a docs/Styles $BUILD_ROOT/usr/share/doc/refind/
+cp -a docs/refind $BUILD_ROOT/usr/share/doc/refind/
 install -Dp -m0644 NEWS.txt COPYING.txt LICENSE.txt README.txt CREDITS.txt $BUILD_ROOT/usr/share/doc/refind
 
+# Copy man pages to /usr/share/man/man8
+mkdir -p $BUILD_ROOT/usr/share/man/man8
+install -Dp -m0644 docs/man/mvrefind.8 $BUILD_ROOT/usr/share/man/man8
+install -Dp -m0644 docs/man/mkrlconf.8 $BUILD_ROOT/usr/share/man/man8
+
 # Copy keys to /etc/refind.d/keys
 mkdir -p $BUILD_ROOT/etc/refind.d/keys
 install -Dp -m0644 keys/* $BUILD_ROOT/etc/refind.d/keys