README_REPOSITORY
changeset 50654 3356ff213339
parent 50653 5c85f8b80b95
child 51072 0351cc781a26
equal deleted inserted replaced
50653:5c85f8b80b95 50654:3356ff213339
   308       isabelle build -b HOL
   308       isabelle build -b HOL
   309 
   309 
   310   * administrative "isabelle build_doc" to populate the doc/
   310   * administrative "isabelle build_doc" to populate the doc/
   311     directory, such that "isabelle doc" will find the results, for example:
   311     directory, such that "isabelle doc" will find the results, for example:
   312 
   312 
   313       isabelle build_doc IsarRef
   313       isabelle build_doc -p IsarRef
   314 
   314