Changeset e7a8ed in git for Makefile.in


Ignore:
Timestamp:
Jan 24, 2007, 2:20:16 PM (17 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
8fbec5d391dd608a26a5bf8a44f6244107a38e08
Parents:
b6ca8ae4fabb1c109fc245bbb05828e092dec7cf
Message:
*hannes: make ->


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

Legend:

Unmodified
Added
Removed

  • Makefile.in

    rb6ca8ae re7a8ed  
    7676
    7777install-doc:
    78         cd doc; make install
     78        cd doc; ${MAKE} install
    7979
    8080##############################################################
Note: See TracChangeset for help on using the changeset viewer.