Broken links in L4Re documentation

[Michal Sojka]

Hi,

I've just browsed through L4Re documentation and found that links to
examples in http://os.inf.tu-dresden.de/L4Re/doc/classL4Re_1_1Dataspace.html
are broken.

For example, one link poinst to
http://os.inf.tu-dresden.de/L4Re/doc/examples_2libs_2l4re_2c_09_09_2shared__ds_2ds__clnt_8cc-example.html#_a5
and the correct URL seems to be
http://os.inf.tu-dresden.de/L4Re/doc/examples_2libs_2l4re_2c_09_09_2shared_ds_2ds_clnt_8cc-example.html

-Michal