The online manual is older than the current release, if it cannot be automatically generated from the release or, better, git, then I think it should be deleted, as it hinders users - they expect online to be the most up to date. Richard
_______________________________________________ Denemo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/denemo-devel
