diff --git a/test/blackbox-tests/test-cases/odoc/jbuild b/test/blackbox-tests/test-cases/odoc/jbuild index 79f74895..6e206671 100644 --- a/test/blackbox-tests/test-cases/odoc/jbuild +++ b/test/blackbox-tests/test-cases/odoc/jbuild @@ -16,3 +16,8 @@ ((name runtest) (deps (_doc/_html/index.html)) (action (echo "${read:_doc/_html/index.html}")))) + +(alias + ((name foo-mld) + (deps (_doc/_mlds/foo/index.mld)) + (action (echo "${read:_doc/_mlds/foo/index.mld}")))) diff --git a/test/blackbox-tests/test-cases/odoc/run.t b/test/blackbox-tests/test-cases/odoc/run.t index c7077588..bc11aef2 100644 --- a/test/blackbox-tests/test-cases/odoc/run.t +++ b/test/blackbox-tests/test-cases/odoc/run.t @@ -31,3 +31,7 @@ + + $ $JBUILDER build @foo-mld -j1 --display short --root . + No rule found for _doc/_mlds/foo/index.mld + [1]