fixed typo

[helm.git] / helm / www / matita / download.shtml

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 39a971d2f300fd166d1edff3b29d1712d03ecb6d..d780ab156835dca322a935fd72a1743ef4540dc4 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,7 +8,7 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
-    Matita has no officiale releases yet.
+    Matita has no official releases yet.
     Still, you can get and build Matita from sources.
     All our source code is released under the terms of the GNU General
     Public Licence and is publically accessible on our svn repository.
@@ -17,6 +17,7 @@
     To checkout a copy of the sources type:
     <pre>
     svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
+    cd software
     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
     svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
     </pre>