diff --git a/mps/procedure/release-build/index.html b/mps/procedure/release-build/index.html index 94f5f56ad5b..20975ef0bea 100644 --- a/mps/procedure/release-build/index.html +++ b/mps/procedure/release-build/index.html @@ -189,9 +189,10 @@ add the release to the list of releases for VERSION, in a manner consistent with previous releases.

  • Edit the -//info.ravenbrook.com/infosys/cgi/issue.cgi script to add +//info.ravenbrook.com/infosys/cgi/data.py script to add the release changelevel to the releases table, so that the -correct set of known and fixed issues can be derived.

  • +correct set of known and fixed issues can be derived and shown on the +project's issues page.

  • Submit these changes with the comment "MPS: registered release RELEASE."

  • @@ -310,12 +311,18 @@ RELEASE."

    Releasename now also in w3build.bat. + + 2008-01-07 + RHSK + Release changelevel was in issue.cgi, now in data.py. + +

    C. Copyright and License

    -

    This document is copyright © 2002, 2005-2007 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.

    +

    This document is copyright © 2002, 2005-2008 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.

    Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: