dune/doc
Jérémie Dimino b06aad431e
Replace promote actions by diff actions + promote command (#421)
* Remove (promote ...) and (promote-if ...)
* Remove `--promote ...`
* Add (diff ...) and (diff? ...)
* Add `jbuilder promote` and `--auto-promote`
* Fix #423
2018-01-18 11:32:20 +00:00
..
advanced-topics.rst docs: fix typos in manual 2018-01-17 08:17:55 +00: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 Replace promote actions by diff actions + promote command (#421) 2018-01-18 11:32:20 +00:00
jbuild.inc Replace promote actions by diff actions + promote command (#421) 2018-01-18 11:32:20 +00:00
jbuild.rst Replace promote actions by diff actions + promote command (#421) 2018-01-18 11:32:20 +00: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 Clarify use of the .exe extension 2017-10-25 15:10:32 -04:00
terminology.rst Update doc 2017-10-14 10:37:36 +08:00
update-jbuild.sh Add promote actions and include stanzas (#402) 2018-01-15 13:24:25 +00:00
usage.rst Add promote actions and include stanzas (#402) 2018-01-15 13:24:25 +00:00