@@ -1,6 +1,8 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−# Tests that documentation properly is merged with existing
2+# Tests that documentation properly is merged with existent
3+# Also tests that an IdrisDoc is written
3idris --mkdoc package_a.ipkg
4idris --mkdoc package_a.ipkg
5+[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"
4idris --mkdoc package_b.ipkg
6idris --mkdoc package_b.ipkg
5[ -f test_merge_doc/docs/A.html ] && echo "A: Check"
7[ -f test_merge_doc/docs/A.html ] && echo "A: Check"
6[ -f test_merge_doc/docs/B.html ] && echo "B: Check"
8[ -f test_merge_doc/docs/B.html ] && echo "B: Check"