vi ./xpp/gnulinux/makefile ./xlatexpp/gnulinux/makefile ./comm/gnulinux/makefile ./disk/gnulinux/makefile ./platform/gnulinux/makefile ./server/gnulinux/makefile ./urdi/gnulinux/makefile ./urdi/sturdi/gnulinux/makefile ./stubble/gnulinux/makefile 
