diff options
| -rw-r--r-- | Makefile.devel | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index 4ad041bd..d78b8e94 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -55,9 +55,6 @@ ## ## make releaseall VERSION=2.0 FULLVERSION=2.0.1 ## -## NB: if this release is made from an old branch, beware that html -## files (news!) etc, will all be downgraded. To fix, make a -## development release immediately afterwards. ## ## $Id$ ## |