diff --git a/README.md b/README.md index 690c549..384904f 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,9 @@ page at `$OPAM_SWITCH_PREFIX/odoc/index.html`. (This is odd's own tree, kept separate from opam's `$OPAM_SWITCH_PREFIX/doc`, where packages install their own documentation.) -See [DESIGN.md](DESIGN.md) for the full design. +See [doc/DESIGN.md](doc/DESIGN.md) for the full design, and +[doc/DESIGN_DOC.md](doc/DESIGN_DOC.md) / [doc/DESIGN_COMPLETE.md](doc/DESIGN_COMPLETE.md) +for the `doc` and `complete` commands. ## Setup