Save the current BERTOS_PATH in editing mode (instead of override it with the local...
[bertos.git] / doc / README.bertos
2009-09-29 lottavianodoc: Various fixes to documentation infrastructure