#!/bin/sh
set -ex
odoc compile -I . m1.cmti
odoc compile -I . m2.cmti
odoc compile -I . m3.cmti
odoc compile -I . m4.cmti
odoc compile -I . m5.cmti
odoc compile -I . m6.cmti
odoc compile -I . m7.cmti
odoc compile -I . m8.cmti
odoc compile -I . m9.cmti
odoc compile -I . m10.cmti
odoc compile -I . m11.cmti
odoc compile -I . m12.cmti
odoc compile -I . m13.cmti
odoc compile -I . m14.cmti
