Small documentation changes.

[refind] / debian / debinstall

diff --git a/debian/debinstall b/debian/debinstall
index 5795cc7452d57671bba20862c6a0c955874bf191..75fed9e68866f11c2554c887a95fa07c43eebbcd 100755 (executable)
--- a/debian/debinstall
+++ b/debian/debinstall
@@ -51,6 +51,7 @@ install -Dp -m0644 NEWS.txt COPYING.txt LICENSE.txt README.txt CREDITS.txt $BUIL
 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
+install -Dp -m0644 docs/man/refind-install.8 $BUILD_ROOT/usr/share/man/man8
 
 # Copy keys to /etc/refind.d/keys
 mkdir -p $BUILD_ROOT/etc/refind.d/keys