# HG changeset patch # User wenzelm # Date 1378112582 -7200 # Node ID ef65d5ee60cfd365d298ac2d5a96066d976354ef # Parent b46e6cd75dc67fc44b8b76835812eb8a9e171803 updated according to bceec99254b0; 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