--- a/README_REPOSITORY Sun Sep 01 14:00:05 2013 +0200 +++ b/README_REPOSITORY Mon Sep 02 11:03:02 2013 +0200 @@ -38,7 +38,7 @@ 4. Access documentation (bash shell commands): - ./bin/isabelle build_doc -p -a + ./bin/isabelle build_doc -a ./bin/isabelle doc system