Skip to content

#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.