+ else \
+ if (echo x$$d | grep / >/dev/null); then \
+ mkdir -p proto-toplev/`dirname $$d` ; \
+ x=`dirname $$d` ; \
+ ln -s ../`echo $$x/ | sed -e 's,[^/]*/,../,g'`$$d proto-toplev/$$d ; \
+ else \
+ ln -s ../$$d proto-toplev/$$d ; \
+ fi ; \
+ fi ; \