[doit] Check for makeinfo
1 file changed
tree: fc1d2c0871e6bac57da1d57320c702f23a60d617
  1. patches/
  2. .gitignore
  3. cleanit
  4. doit
  5. env.bash
  6. toolvers