| commit | 3a48037a8c722ffa7c7995b3cd0c2dfdb09e663f | [log] [tgz] |
|---|---|---|
| author | Christopher Anderson <chris@nullcode.org> | Tue Oct 27 13:19:08 2015 -0700 |
| committer | Christopher Anderson <chris@nullcode.org> | Tue Oct 27 13:20:56 2015 -0700 |
| tree | fc1d2c0871e6bac57da1d57320c702f23a60d617 | |
| parent | 318a388c9f53495080db9d1e848ed9075f9ae392 [diff] |
[doit] Check for makeinfo
diff --git a/doit b/doit index 1ddd447..d8dc0c3 100755 --- a/doit +++ b/doit
@@ -121,6 +121,11 @@ exit 1 fi +if [ -z $(which makeinfo) ]; then + echo makeinfo not found. On debian/ubuntu this is provided by the texinfo package. + exit 1 +fi + export CC="cc" export CXX="c++"