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

[Oliver Sander]

Hi Martin,
thanks for the report.  Can you please file it as a report on our 
bugtracker,
so it doesn't get lost.
Thanks you,
Oliver

Am 07.06.2012 20:45, schrieb 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"
>
> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune