dune/doc
Jeremie Dimino 297e82061e Update_file --> Write_file
The difference is not meaningful anymore. Also expose Write_file as
write-file.
2017-08-17 15:13:11 +01:00
..
advanced-topics.rst Fix typos 2017-06-17 12:06:58 -04:00
api-doc.rst Minor typos 2017-05-29 08:51:44 +01:00
conf.py Read The Docs 2017-05-15 11:53:55 -04:00
index.rst Document API doc 2017-05-26 18:34:49 +01:00
jbuild Remove the use of (foreach ...) in doc/jbuild 2017-06-02 18:25:20 +01:00
jbuild.rst Update_file --> Write_file 2017-08-17 15:13:11 +01:00
overview.rst Fix typos 2017-06-17 12:06:58 -04:00
project-layout-specification.rst Fix typos 2017-06-17 12:06:58 -04:00
quick-start.rst Fix typos 2017-08-15 07:32:17 +01:00
terminology.rst Fix typos 2017-06-17 12:06:58 -04:00
usage.rst Simplify a bit the rules for installation of library files 2017-07-25 17:07:24 +01:00