Add a line pointing to the instructions for latex inclusion in the prose specifications.

1 files changed, 1 insertions, 0 deletions

diff --git a/README.md b/README.md
index 0c50016..a96f88e 100644
--- a/README.md
+++ b/README.md
@@ -21,6 +21,7 @@ for inclusion in reference documentation.  Drafts of the RISC-V
 and [privileged](https://github.com/rems-project/riscv-isa-manual/blob/sail/release/riscv-privileged-sail-draft.pdf)
 specifications that include the Sail formal definitions are available
 in the sail branch of this [risc-v-isa-manual repository](https://github.com/rems-project/riscv-isa-manual/tree/sail).
+The process to perform this inclusion is explained [here](https://github.com/rems-project/riscv-isa-manual/blob/sail/README.SAIL).
 
 This is one of [several formal models](https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/comparison_table.md) that were compared within the 
 [RISC-V ISA Formal Spec Public Review](https://github.com/riscv/ISA_Formal_Spec_Public_Review).