<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1">
  <title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
<font size="-1"><font face="Lucida Console">Ok, I found them (with
Google's help) at:<br>
</font></font><a
 href="http://www.opencms.org/export/download/opencms/opencms_5.0_doc_full.zip">http://www.opencms.org/export/download/opencms/opencms_5.0_doc_full.zip</a><br>
Apologies for posting a minute too early... ;-)<br>
<br>
Jurjan-Paul<br>
</body>
</html>