diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-09-21 12:33:06 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-09-21 12:33:06 (EDT) |
| commit | b82334e57e91cbe223dee8c1a7acae10dbd70065 (patch) | |
| tree | b25e56142029dd375b0a2e4640546dd2d4a7ee26 | |
| parent | c8d6ad03713bc5522f57846a4d75de1d74b4ddda (diff) | |
build: Remove GNU Info index.
| -rwxr-xr-x | build | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -15,6 +15,7 @@ build: configure install: build oh-autoinstall + rm -f dest/usr/share/info/dir oh-fixperms oh-strip oh-installfiles |