git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/idrisdoc005/run
6 lines 277 B history raw
1#!/usr/bin/env bash
2# Tests that references to other namespaces are traced
3idris --mkdoc test_tracing.ipkg
4[ -f test_tracing_doc/docs/TestTracing.html ] && echo "TestTracing: Check"
5[ -f test_tracing_doc/docs/Prelude.Bool.html ] && echo "Prelude.Bool: Check"
6rm -rf *.ibc *_doc