summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/build b/build
index 21410e4..1d44950 100755
--- a/build
+++ b/build
@@ -10,11 +10,11 @@ configure:
touch $@
build: configure
- oh-autobuild
+ oh-autobuild -- MAKEINFO=:
touch $@
install: build
- oh-autoinstall
+ oh-autoinstall -- MAKEINFO=:
mv dest/usr/bin/dc dest/usr/bin/dc.gnu
# Remove GNU Info index.
rm -f dest/usr/share/info/dir