#583 --disable-documentation does not work in dune-pdelab-howto
Metadata
| Property | Value |
|---|---|
| Reported by | Buote Xu (buote.xu@stud.uni-heidelberg.de) |
| Reported at | Aug 1, 2009 13:45 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Jö Fahlke (jorrit@jorrit.de) |
| Last edited at | Aug 3, 2009 09:15 |
| Closed by | Jö Fahlke (jorrit@jorrit.de) |
| Closed at | Aug 3, 2009 09:15 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | Fixed in revision 93 |
Description
Small fix: in dune-pdelab-howto/doc/howto/Makefile.am:27 doc_DATA = pdelab-howto-article.pdf pdelab-howto-beamer.pdf has to be changed to doc_DATA = $(DOCS) like in the other files, I guess.