diff -r b46e6cd75dc6 -r ef65d5ee60cf README_REPOSITORY --- 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