#1103 make clean in dune-web doesn't delete bibtex2html.stamp
Metadata
| Property | Value |
|---|---|
| Reported by | Oliver Sander (oliver.sander@tu-dresden.de) |
| Reported at | May 14, 2012 06:58 |
| Type | Bug Report |
| Version | 2.2 |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | May 18, 2012 19:02 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | May 18, 2012 19:02 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment |
Description
During 'make' in dune-web, a stamp file bibtex2html.stamp is created in dune-web/publications. This file is not removed by 'make clean'. Unfortunately I am not make-expert enough to fix this myself.