diff -r 000000000000 -r b97547f5f1fa web/wdoc/standard_usage_en.rst --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/wdoc/standard_usage_en.rst Wed Nov 05 15:52:50 2008 +0100 @@ -0,0 +1,10 @@ +First of all, you can use this site as any web site by clicking on the +different links. The Logo on the top left of this page will lead you +to a start page from which you will be able to navigate to all the +data hosted on this site. + +The bookmarks box on the left hand side provides some useful +shortcuts. + +Most text is indexed and you can search all the content by typing +words in the search box.