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