#301 make clean deletes html file under dune-?/doc
Metadata
| Property | Value |
|---|---|
| Reported by | Markus Blatt (markus@dr-blatt.de) |
| Reported at | Jul 16, 2007 17:31 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Closed by | Markus Blatt (markus@dr-blatt.de) |
| Closed at | Jul 30, 2007 20:15 |
| Closed in version | 1.0 |
| Resolution | Fixed |
| Comment | in revision 4961 (common), 781 (istl), 3778 (grid) in trunk and 1.0 |
Description
This probably applies to all modules:
When using the beta tarballs doing a make clean deletes all distributed html files under doc except the doxygen documentation.
As this would make wml madatory to build from the distribution tarballs I propose to fix this by distributing a different Makefile
whithout "CLEANFILES={PAGES}