Changes

Summary

1. Bug fixed in build.sh script (details)

Commit 6609e3cc9defc838c483d7834d1b83bb8748a09a by garcia.yann Bug fixed in build.sh script
	docker/home/etc/init.d/40-etsi_112.sh
	docker/home/etc/init.d/50-doxygen.sh
	docs/o2.cfg