From: Jens Vollinga Date: Wed, 5 Sep 2007 16:43:49 +0000 (+0000) Subject: Removed reference to autogen.sh [Sheplyakov] X-Git-Tag: release_1-5-0~138 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=85100a37f605d4c63fab87c3de4a7ba7bbbd041d;ds=sidebyside Removed reference to autogen.sh [Sheplyakov] --- diff --git a/INSTALL b/INSTALL index 2c60d2d3..1fda652a 100644 --- a/INSTALL +++ b/INSTALL @@ -60,9 +60,8 @@ library works correctly you can use $ make check -The "configure" script (and "autogen.sh", which invokes "configure") can be -given a number of options to enable and disable various features. For a -complete list, type: +The "configure" script can be given a number of options to enable and +disable various features. For a complete list, type: $ ./configure --help