1
Index: src/kernel/Makefile.in
2
===================================================================
3
--- src.orig/kernel/Makefile.in 2008-02-08 17:15:37.000000000 -0800
4
+++ src/kernel/Makefile.in 2008-02-08 17:15:53.000000000 -0800
8
${MKINSTALLDIRS} ${includedir}/singular
9
- cp *.h ${includedir}/singular
10
+ -for file in *.h; do \
11
+ ${INSTALL} $$file ${includedir}/singular; \
14
install: all installbin