4 1 file changed, 1 insertion(+), 1 deletion(-)
6 diff --quilt old/Makefile new/Makefile
9 @@ -14,11 +14,11 @@ SHELL=/bin/sh
13 @echo "Please specify target:"
14 @echo "(For example, type \"make linux\" for a Linux system.)"
15 - @(cd makefiles && ls -C Makefile* | sed -e 's/Makefile.//g')
16 + @ls makefiles/Makefile* | sed -e 's|makefiles/Makefile\.||g' | column | column -t | sed -e 's/^/\t/'
19 @- (cd Microline/XmL; if [ -f ../../makefiles/Makefile.$@ -a ! -f ./Makefile.$@ ];\
20 then ln -s ../../makefiles/Makefile.$@ .; fi)
21 @- (cd Xlt; if [ -f ../makefiles/Makefile.$@ -a ! -f ./Makefile.$@ ];\