Changeset 4e37d4 in git


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


git-svn-id: file:///usr/local/Singular/svn/trunk@1457 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular
Files:
2 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

  • Singular/configure.in

    r7d66c2 r4e37d4  
    547547fi
    548548
    549 AC_OUTPUT(Makefile doc/Makefile, \
     549AC_OUTPUT(Makefile doc/Makefile newdoc/Makefile, \
    550550 if test "$CONFIG_HEADERS"; then echo timestamp > stamp-h; fi)
    551551
Note: See TracChangeset for help on using the changeset viewer.