[Dune] make install fails when using --disable-documentation

[Martin Rückl]

Hi Dune Team
I do compile my dune modules with
 >./dune-common/bin/dunecontrol --opts=parallel.opts all
which works fine. After compiling is want to install the modules with
 > sudo ./dune-common/bin/dunecontrol make install
Unfortunatly this fails when using "--disable-documentation" in the 
parallel.opts file. "make install" will try to copy the missing 
documentation to the prefix folder :-(

Greetings Martin

parallel.opts:
CONFIGURE_FLAGS="PKG_CONFIG=/usr/bin/pkg-config CXX=mpicxx CC=mpicc 
CXXFLAGS=\"-ffast-math -O3\" --with-grid-dim=3 --with-grid-type=UGGRID 
--disable-documentation --enable-fieldvector-size-is-method 
--disable-dunedevel --enable-parallel 
--with-ug=/home/mrueckl/UG/parallel5 --prefix=/usr/local/dune/parallel 
--cache-file=/home/mrueckl/dune/parallel.cache"