1 files changed, 22 insertions, 0 deletions
diff --git a/build b/build
new file mode 100755
index 0000000..ce80e13
--- /dev/null
+++ b/build
@@ -0,0 +1,22 @@
+#!/usr/bin/make -f
+
+include ../source.mk
+
+nop:
+	@:
+
+configure:
+	oh-autoconfigure
+	touch $@
+
+build: configure
+	oh-autobuild
+	touch $@
+
+install: build
+	oh-autoinstall
+	# Remove GNU Info index.
+	rm -f dest/usr/share/info/dir
+	oh-fixperms
+	oh-strip -k
+	oh-installfiles