diff options
| author | Maxime Dénès | 2017-08-29 14:37:08 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-29 14:37:08 +0200 |
| commit | 7e29b535397c98a46999ecdd827fa5f4cebc8798 (patch) | |
| tree | ad12e4602deead22ec87a6d2315fd4f68ab0fa62 /dev/README | |
| parent | 8aa7de4ea2660fe370cedab07c1c5dcc19226c8c (diff) | |
| parent | e18f0a289411047777efdfa362bba675b16bb5a3 (diff) | |
Merge PR #819: Cleanup old things
Diffstat (limited to 'dev/README')
| -rw-r--r-- | dev/README | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev/README b/dev/README index 814f609576..b446c3e974 100644 --- a/dev/README +++ b/dev/README @@ -40,10 +40,6 @@ Documentation of ML interfaces using ocamldoc (directory ocamldoc/html) Other development tools (directory tools) ----------------------- -Makefile.dir: makefile dedicated to intensive work in a given directory -Makefile.subdir: makefile dedicated to intensive work in a given subdirectory -Makefile.devel: utilities to automatically launch coq in various states -Makefile.common: used by other Makefiles objects.el: various development utilities at emacs level anomaly-traces-parser.el: a .emacs-ready elisp snippet to parse location of Anomaly backtraces and jump to them conveniently from |