summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2014-03-08 17:53:01 (EST)
committer P. J. McDermott <pjm@nac.net>2014-03-08 17:53:01 (EST)
commit2ec4f21081eef7f7efc3907dff55147797804482 (patch)
tree993ddf30a19c04300627436b7f0e8c61d21cb37e
parent566f8eb7ad5300eebbe7428ba4f92e5a3bae1e38 (diff)
build: Actually, just remove the package docs.
-rwxr-xr-xbuild6
1 files changed, 5 insertions, 1 deletions
diff --git a/build b/build
index 9f3a5ad..9586564 100755
--- a/build
+++ b/build
@@ -18,7 +18,11 @@ install: build
# Put all documentation files in /usr/share/doc/libreadline.6/.
mkdir -p dest/usr/share/doc/libreadline.6
mv dest/usr/share/readline dest/usr/share/doc/libreadline.6/examples
- mv dest/usr/share/doc/readline/* dest/usr/share/doc/libreadline.6
+ # Remove source package documentation.
+ rm -f \
+ dest/usr/share/doc/readline/CHANGES \
+ dest/usr/share/doc/readline/README \
+ dest/usr/share/doc/readline/INSTALL
# Remove GNU Info index.
rm -f dest/usr/share/info/dir
oh-fixperms