sail -doc failing

[wmat]

Trying to build the doc index and getting the following:

Sail 0.18.0 (sail2 @ 34a62cf14bceb891f78c1f732deca7d5fa327dbf)
wmat@ribeye:~/dev/sail-riscv/model$ sail -doc *.sail
Error:
prelude_mem.sail:17.0-37:
17 |$include <concurrency_interface.sail>
   |^-----------------------------------^
   | /home/wmat/.opam/default/bin/../share/sail/lib/vector_inc.sail:1.0-22:
   | 1 |$include <vector.sail>
   |   |^--------------------^ included by vector_inc.sail
   |   | /home/wmat/.opam/default/bin/../share/sail/lib/concurrency_interface/common.sail:59.0-26:
   |   | 59 |$include <vector_inc.sail>
   |   |    |^------------------------^ included by concurrency_interface/common.sail
   |   |    | /home/wmat/.opam/default/bin/../share/sail/lib/concurrency_interface/read_write.sail:52.0-44:
   |   |    | 52 |$include <concurrency_interface/common.sail>
   |   |    |    |^------------------------------------------^ included by concurrency_interface/read_write.sail
   |   |    |    | /home/wmat/.opam/default/bin/../share/sail/lib/concurrency_interface.sail:1.0-48:
   |   |    |    | 1 |$include <concurrency_interface/read_write.sail>
   |   |    |    |   |^----------------------------------------------^ included by concurrency_interface.sail
   |   |    |    |   | A default order must be set (using `default Order dec` or `default Order inc`) before including this file

[Alasdair]

There is a target in the Makefile make sail_doc/riscv_RV64.json. The *.sail will pass the files in the incorrect order.

[wmat]

Aha! Thank!