diff options
| author | Luchesar V. ILIEV | 2015-12-13 12:53:30 +0200 |
|---|---|---|
| committer | Luchesar V. ILIEV | 2015-12-13 14:34:31 +0200 |
| commit | 47716b2f3d8cd1fff3c35283981a8a0821ffbf49 (patch) | |
| tree | ad04eef3c8750cf1339e687eaec69abe34894888 /.SRCINFO | |
| parent | 08e8f59872f610ce616b8adc83e8103b8db1ed24 (diff) | |
| download | aur-47716b2f3d8cd1fff3c35283981a8a0821ffbf49.tar.gz | |
Do `make ocaml_doc` after `make all`
docs/cmake_install.cmake used to fail if `make all` was run without
running `make ocaml_doc` in advance. However, this doesn't quite make
sense and was probably just a transient problem. On the other hand,
running `make ocaml_doc` before `make all` seems to cause some random
errors of different kind. For these reasons, reverse their order.
Diffstat (limited to '.SRCINFO')
0 files changed, 0 insertions, 0 deletions