diff --git a/mps/manual/reference/index.html b/mps/manual/reference/index.html index 9217f008dbd..3ab3cf920b5 100644 --- a/mps/manual/reference/index.html +++ b/mps/manual/reference/index.html @@ -10689,6 +10689,8 @@
This document is copyright © 1997-2002, 2003, 2006, 2007, 2008 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.
+This document is copyright © 1997-2002, 2003, 2006, 2007, 2008, 2010 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: