[Dune] html files in the dune-web svn

Oliver Sander sander at mi.fu-berlin.de
Wed May 2 20:07:54 CEST 2012

Dear Dune,
I just came across the two files dunereferences.html and 
both in dune-web/publications.  On the one hand, they are checked into 
the repository.
On the other hand, 'make clean' deletes them, as it deletes all html 
files.  What
is the status of these files?  Are they auto-generated from something else?
Then they shouldn't be in the svn.  Otherwise we should tell 'make' that 
mustn't be deleted.

More information about the Dune mailing list