Changeset 7c0d57d in git for Makefile.am


Ignore:
Timestamp:
Jan 20, 2014, 4:26:53 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
6892997280a84fe09e372baa4133ceb5dcb5412cfc25d7148572ee90d065637f58166dac76c41c53
Parents:
d5d9fc68459cec7586e8a88d34846a8a453542ba
Message:
Cleanup autogenerated config headers
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Makefile.am

    rd5d9fc r7c0d57d  
    2323configheaderdir = ${includedir}/singular
    2424nodist_configheader_HEADERS = singularconfig.h
     25DISTCLEANFILES = $(nodist_configheader_HEADERS)
    2526
    2627dist_man1_MANS = doc/Singular.man doc/ESingular.man doc/TSingular.man
Note: See TracChangeset for help on using the changeset viewer.