changeset 50654 | 3356ff213339 |
parent 50653 | 5c85f8b80b95 |
child 51072 | 0351cc781a26 |
--- a/README_REPOSITORY Mon Dec 31 15:56:17 2012 +0100 +++ b/README_REPOSITORY Mon Dec 31 16:16:43 2012 +0100 @@ -310,5 +310,5 @@ * administrative "isabelle build_doc" to populate the doc/ directory, such that "isabelle doc" will find the results, for example: - isabelle build_doc IsarRef + isabelle build_doc -p IsarRef