diff options
author | P. J. McDermott <pjm@nac.net> | 2014-03-10 00:54:07 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2014-03-10 00:54:07 (EDT) |
commit | a0fea1ea6f110e39dff3ef92bb1409672d2d2271 (patch) | |
tree | c8ae5f5975da1edaece0e50311cb2094e8ed9275 | |
parent | 989b60b0e8fa83640444a3669995a4559fd576e1 (diff) |
build: Remove GNU Info index.
-rwxr-xr-x | build | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,6 +13,7 @@ build: configure install: build oh-autoinstall + rm -f dest/usr/share/info/dir oh-fixperms oh-strip oh-installfiles |