Changeset 4e37d4 in git for Singular/configure


Ignore:
Timestamp:
Apr 24, 1998, 3:23:11 PM (26 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
78b655f58bb0b5cd0aaee8d4980ae6dfe91c1bf5
Parents:
7d66c267d597538ef7adeaff30dbb2baf9a6981e
Message:
Added newdoc to configure


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

Legend:

Unmodified
Added
Removed
  • Singular/configure

    r7d66c2 r4e37d4  
    40944094ac_given_srcdir=$srcdir
    40954095
    4096 trap 'rm -fr `echo "Makefile doc/Makefile mod2.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
     4096trap 'rm -fr `echo "Makefile doc/Makefile newdoc/Makefile mod2.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
    40974097EOF
    40984098cat >> $CONFIG_STATUS <<EOF
     
    41884188cat >> $CONFIG_STATUS <<EOF
    41894189
    4190 CONFIG_FILES=\${CONFIG_FILES-"Makefile doc/Makefile"}
     4190CONFIG_FILES=\${CONFIG_FILES-"Makefile doc/Makefile newdoc/Makefile"}
    41914191EOF
    41924192cat >> $CONFIG_STATUS <<\EOF
Note: See TracChangeset for help on using the changeset viewer.