Changeset 6b27cb in git

Timestamp:

Jul 20, 1999, 12:17:54 PM (25 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6bb498c0fc6c87de6a4824ddae4d6d39e84dcad0

Parents:

b452e99fc066abc3afe0f2ee25485f3000eaa68a

Message:

* small bug fixes


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

Files:

• configure (modified) (3 diffs)
• configure.in (modified) (2 diffs)

configure

@@ -2169 +2169 @@
 if test -d emacs; then
   SUBDIRS="$SUBDIRS emacs"
+  BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
+fi
+if test -d Texi2html; then
+  SUBDIRS="$SUBDIRS Texi2html"
+  BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
 fi
   
 
 echo $ac_n "checking whether ${MAKE-make} sets \${MAKE}""... $ac_c" 1>&6
-echo "configure:2176: checking whether ${MAKE-make} sets \${MAKE}" >&5
+echo "configure:2181: checking whether ${MAKE-make} sets \${MAKE}" >&5
 set dummy ${MAKE-make}; ac_make=`echo "$2" | sed 'y%./+-%__p_%'`
 if eval "test \"`echo '$''{'ac_cv_prog_make_${ac_make}_set'+set}'`\" = set"; then
@@ -2198 +2203 @@
   SET_MAKE="MAKE=${MAKE-make}"
 fi
+
 
 
@@ -2384 +2390 @@
 s%@SET_MAKE@%$SET_MAKE%g
 s%@SUBDIRS@%$SUBDIRS%g
+s%@BUILD_SUBDIRS@%$BUILD_SUBDIRS%g
 s%@CONFIG_SUBDIRS@%$CONFIG_SUBDIRS%g
 s%@subdirs@%$subdirs%g

configure.in

@@ -665 +665 @@
 if test -d emacs; then
   SUBDIRS="$SUBDIRS emacs"
+  BUILD_SUBDIRS="$BUILD_SUBDIRS emacs"
+fi
+if test -d Texi2html; then
+  SUBDIRS="$SUBDIRS Texi2html"
+  BUILD_SUBDIRS="$BUILD_SUBDIRS Texi2html"
 fi
   
@@ -673 +678 @@
 AC_PROG_MAKE_SET
 AC_SUBST(SUBDIRS)
+AC_SUBST(BUILD_SUBDIRS)
 AC_SUBST(CONFIG_SUBDIRS)
 AC_CONFIG_SUBDIRS($CONFIG_SUBDIRS)