diff options
| -rw-r--r-- | Makefile.devel | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index dafc6cdc..21071fbe 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -43,6 +43,9 @@ ## ## 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$ ## |