# HG changeset patch # User bgruening # Date 1372674141 14400 # Node ID b936498ae90c51d94b740d2824023bf6bd09e7af # Parent 782fae4417ebf5a2931a36df4b7aca62c99ef24c Uploaded diff -r 782fae4417eb -r b936498ae90c tool_dependencies.xml --- a/tool_dependencies.xml Sun Jun 30 19:23:05 2013 -0400 +++ b/tool_dependencies.xml Mon Jul 01 06:22:21 2013 -0400 @@ -6,13 +6,15 @@ $INSTALL_DIR ./configure --prefix=$INSTALL_DIR && make && make install - $INSTALL_DIR/include - $INSTALL_DIR/lib - $INSTALL_DIR/bin + $INSTALL_DIR/include + $INSTALL_DIR/lib + $INSTALL_DIR/bin $INSTALL_DIR/bin - The GNU Readline library provides a set of functions for use by applications that allow users to edit command lines as they are typed in. + The GNU Readline library provides a set of functions for use by applications that allow users to edit command lines as they are typed in. + www.gnu.org/software/readline +