<!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">
Yep, that was silly.<br>
<br>
Nikolai Neumayer wrote:<br>
<blockquote type="cite"
cite="mid200309250914.h8P9EjY3044880@miraculix.wu-wien.ac.at">
<pre wrap="">No need for Google, a link to the file is on the homepage of
opencms.org (a box on the right side with header "The latest
documentation").
Niki
-------------------
</pre>
<blockquote type="cite">
<pre wrap="">Ok, I found them (with Google's help) at:
</pre>
</blockquote>
<pre wrap=""><!----><a class="moz-txt-link-freetext" href="http://www.opencms.org/export/download/opencms/opencms_5.0_doc_full.zi">http://www.opencms.org/export/download/opencms/opencms_5.0_doc_full.zi</a>
p
</pre>
<blockquote type="cite">
<pre wrap="">Apologies for posting a minute too early... ;-)
Jurjan-Paul
</pre>
</blockquote>
<pre wrap=""><!---->_______________________________________________
This mail is send to you from the opencms-dev mailing list
To change your list options, or to unsubscribe from the list, please visit
<a class="moz-txt-link-freetext" href="http://mail.opencms.org/mailman/listinfo/opencms-dev">http://mail.opencms.org/mailman/listinfo/opencms-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>