Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Without indent, `make` reports errors in somewhere in a directory called codelets. It also reports "/bin/bash: indent: command not found" not far away. For my Ubuntu 14.04 flavor, a simple `sudo apt-get install indent` made `make` work as expected.
- Loading branch information