From 4bd6273d8660be3fcb05190ff8caf6c1d75a4de9 Mon Sep 17 00:00:00 2001
From: Mark Oteiza <mvoteiza@udel.edu>
Date: Sat, 7 Feb 2015 09:29:04 -0500
Subject: [PATCH] Invoke makeinfo on the generated .texi

---
 create-docs.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/create-docs.sh b/create-docs.sh
index 804b375..d24082d 100755
--- a/create-docs.sh
+++ b/create-docs.sh
@@ -4,5 +4,10 @@ if [ -z "$EMACS" ] ; then
     EMACS="emacs"
 fi
 
+if [ -z "$MAKEINFO" ] ; then
+    MAKEINFO="makeinfo"
+fi
+
 $EMACS -batch -l dash.el -l dash-functional.el -l dev/examples-to-docs.el -l dev/examples.el -f create-docs-file
 $EMACS -batch -l dash.el -l dash-functional.el -l dev/examples-to-info.el -l dev/examples.el -f create-info-file
+$MAKEINFO --fill-column=70 dash.texi