[Dune] Installationsproblem auf Sun

[Christian Engwer]

Hi Matthias,

> make[3]: Entering directory 
> `/data/model2/mlaeuter/sundune/dune-common/doc/devel'
> sh ../../bin/wmlwrap -I . codingstyle.wml -o codingstyle.html
> ../../bin/wmlwrap: test: argument expected
> make[3]: *** [codingstyle.html] Error 1
> make[3]: Leaving directory 

This indicates a bug in wmlwrap. I expect this is due to some subtle
gnu/sun differences in the implementation of /usr/bin/test.

I will have a look.

Christian