#1119 2.2beta2: make doc in dune-grid fails
Metadata
| Property | Value |
|---|---|
| Reported by | Markus Blatt (markus@dr-blatt.de) |
| Reported at | Jun 1, 2012 09:01 |
| Type | Bug Report |
| Version | 2.0 |
| Operating System | Unspecified / All |
| Last edited by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Last edited at | Jun 4, 2012 16:19 |
| Closed by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Closed at | Jun 4, 2012 16:19 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | In revision 8212 of the 2.2 branch |
Description
with the default configure options make doc in dune-grid fails:
mblatt@legolas:~/src/dune/2.2$ ./dune-common-2.2beta2/bin/dunecontrol --only=dune-grid make doc
--- going to build dune-grid ---
--- calling make for dune-grid ---
make "doc"
Making doc in ./doc
make[1]: Entering directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc' Making doc in doc/refinement make[2]: Entering directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc/refinement'
make[3]: Entering directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc/refinement' make[3]: *** No rule to make target refinement.tex', needed by refinement.dvi'. Stop. make[3]: Leaving directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc/refinement'
make[2]: *** [doc-recursive] Error 1
make[2]: Leaving directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc/refinement' make[1]: *** [doc-recursive] Error 1 make[1]: Leaving directory /home/mblatt/src/dune/2.2/dune-grid-2.2beta2/doc'
make: *** [doc-recursive] Error 1
--- Failed to build dune-grid ---
Terminating dunecontrol due to previous errors!
This probably means, that refinement.tex and refinement.pdf is missing from the tarballs.