[PATCH] INSTALL: do not mention nonexisting autogen.sh (GiNaC 1.3) That file was removed a long time ago, so... --- INSTALL | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/INSTALL b/INSTALL index 2c60d2d..1fda652 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 -- 1.5.3.2 1.4 (and HEAD) branches do not need this patch. Best regards, Alexei -- All science is either physics or stamp collecting.