#1109 Can't build dune-grid-howto tarball
Metadata
| Property | Value |
|---|---|
| Reported by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Reported at | May 19, 2012 16:20 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Last edited at | May 24, 2012 20:06 |
| Closed by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Closed at | May 24, 2012 20:06 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | Indeed fixed in revisions 379--380. Many thanks! |
Description
Here is the error message:
sander@igel:/dune-2.2/dune-grid-howto$ make dist
if test -d "dune-grid-howto-2.2beta1"; then find "dune-grid-howto-2.2beta1" -type d ! -perm -200 -exec chmod u+w {} ';' && rm -rf "dune-grid-howto-2.2beta1" || { sleep 5 && rm -rf "dune-grid-howto-2.2beta1"; }; else :; fi
test -d "dune-grid-howto-2.2beta1" || mkdir "dune-grid-howto-2.2beta1"
(cd doc && make top_distdir=../dune-grid-howto-2.2beta1 distdir=../dune-grid-howto-2.2beta1/doc
am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)
make[1]: Entering directory /dune-2.2/dune-grid-howto$/home/sander/dune-2.2/dune-grid-howto/doc' cd /home/sander/dune-2.2/dune-common/doc && wml --nocd -I /home/sander/dune-2.2/dune-grid-howto/doc /home/sander/dune-2.2/dune-grid-howto/doc/navigation.wml -o /home/sander/dune-2.2/dune-grid-howto/doc/navigation.html ** IPP:Error: file not found: layout/navigation.wml ** WML:Break: Error in Pass 1 (rc=1). make[1]: *** [navigation.html] Fehler 1 make[1]: Leaving directory /home/sander/dune-2.2/dune-grid-howto/doc'
make: *** [distdir] Fehler 1
sander@igel: