Changeset 2d76bc in git

Timestamp:

Oct 22, 1997, 6:19:12 PM (27 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8f591c66a566cf396b168201fee02344a12f5557

Parents:

ba02b1e02a6c38102a77ba5b0a58a7e96c5f04fd

Message:

	* configure.in: doc fixes


git-svn-id: file:///usr/local/Singular/svn/trunk@833 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/configure.in (modified) (5 diffs)

factory/configure.in

@@ -1 @@
-dnl $Id: configure.in,v 1.8 1997-09-10 13:50:44 schmidt Exp $
+dnl $Id: configure.in,v 1.9 1997-10-22 16:19:12 schmidt Exp $
 
 dnl
@@ -12 +12 @@
 # - initialisation.
 #
-AC_REVISION($Id: configure.in,v 1.8 1997-09-10 13:50:44 schmidt Exp $)
+AC_REVISION($Id: configure.in,v 1.9 1997-10-22 16:19:12 schmidt Exp $)
 AC_INIT(canonicalform.cc)
 AC_CONFIG_HEADER(config.h)
@@ -32 +32 @@
   memman,
   [  --with-memman(=<memman>) specify Factory memory manager.
-                          <memman> is either 'old' (default), 'new', or 'no'.],
+                          <memman> is either \`old' (default), \`new', or \`no'.],
   ,
   [ if test "x$with_Singular" = xyes; then
@@ -64 +64 @@
   memdebug,
   [  --enable-memdebug=<level> switch on memory management debugging.  Meaningful
-                          with --with-memman=new only.  <level> may be either
-                          'no' (default), 'normal', or 'full'.],
+                          with \`--with-memman=new' only.  <level> may be either
+                          \`no' (default), \`normal', or \`full'.],
   ,
   enable_memdebug=no)
@@ -90 +90 @@
 AC_ARG_ENABLE(
   gmp,
-  [  --enable-gmp            together with --with-Singular means: installation
-                          in process, be graceful when there is no gmp.h],
+  [  --enable-gmp            together with \`--with-Singular' means: installation
+                          in process, be graceful when there is no \`gmp.h'],
   [ if test "x$with_Singular" = xyes && test "x$enable_gmp" != xno; then
       with_gmp='$(includedir)'