3 Commits (7cb8145ef6dfc59d225ede398a86d5ace6416f6d)

Author	SHA1	Message	Date
Dulma Churchill	d8a3c4c2a3	[website] Publishing changes to the doc, including removing some linters ... Reviewed By: ngorogiannis Differential Revision: D22284071 fbshipit-source-id: 77a83fa11	5 years ago
Jules Villard	6e37247b7b	make doc-publish ... Summary: Needed to remove user_documentation for the new CONFIG_CHECK_BETWEEN_MARKERS issue type otherwise it violated the invariant that the corresponding checker should be documented too but its development has just started. Reviewed By: skcho Differential Revision: D22065820 fbshipit-source-id: 4b3a58850	5 years ago
Jules Villard	3854c4efa6	[website] docs for current master ... Summary: Run `make doc-publish` and adjust links in website/docs/04-internal-API.md to point to odoc/next/infer/infer.html as the starting point of the docs has changed (was: odoc/index.html but now this also contains dead links to sledge and ppx_trace... also infer.mld is a me-written exposé of the various libraries and index.mld is an auto-generated list of all the modules now). Reviewed By: ngorogiannis Differential Revision: D21552864 fbshipit-source-id: c3977f645	5 years ago