1.1 --- a/README_REPOSITORY	Sun Sep 01 14:00:05 2013 +0200
     1.2 +++ b/README_REPOSITORY	Mon Sep 02 11:03:02 2013 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  4. Access documentation (bash shell commands):
     1.6  
     1.7 -    ./bin/isabelle build_doc -p -a
     1.8 +    ./bin/isabelle build_doc -a
     1.9  
    1.10      ./bin/isabelle doc system
    1.11