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

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Martin Rueckl (mrueckl) 

Attached to Project - Dune
Summary - make install fails when using --disable-documentation
Task Type - Bug Report
Category - Build-System
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - SVN (pre2.3)
Due in Version - Undecided
Due Date - Undecided
Details - 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

Dune Modules (all trunk):
dune-common ---Revision: 6791
dune-geometry ---Revision: 100
dune-grid ---Revision: 8215
dune-localfunctions ---Revision: 1067
dune-istl ---Revision: 1619
dune-pdelab ---Revision: 2076

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" 

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=1125

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.