[Martin Kaiser <lists@xxxxxxxxx>]

Dear all,

CMake has a target "news" that copies the release notes into a NEWS file
in the source directory. NEWS is under version control and hasn't been
updated in the repository for a while.

Should we remove NEWS from the repository? Should we modify the CMake
target to leave the source directory alone (which would mean deleting
the target itself, all it does it copy the release notes to NEWS)?

Best regards,

   Martin