@@ -1,19 +1,17 @@
11#!/usr/bin/env bash
2−# Tests that documentation properly is merged with existent
3−# Also tests that an IdrisDoc is written
2+# Tests that documentation properly is merged with existent.
43idris --mkdoc package_a.ipkg
54[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"
65idris --mkdoc package_b.ipkg
7−[ -f test_merge_doc/docs/A.html ] && echo "A: Check"
8−[ -f test_merge_doc/docs/B.html ] && echo "B: Check"
9−if grep -q "href\\=\"docs/A\\.html\"" test_merge_doc/index.html; then
10− echo A
6+ls -1p test_merge_doc/docs
7+if grep -q "href\\=\"docs/A.fully.Qualified.NAME\\.html\"" test_merge_doc/index.html; then
8+ echo A.fully.Qualified.NAME is in the index
119else
12− echo A is not in the index
10+ echo A.fully.Qualified.NAME is NOT in the index
1311fi
1412if grep -q "href\\=\"docs/B\\.html\"" test_merge_doc/index.html; then
15− echo B
13+ echo B is in the index
1614else
17− echo B is not in the index
15+ echo B is NOT in the index
1816fi
19−rm -rf *.ibc *_doc
17+rm -rf *.ibc *_doc A/fully/Qualified/NAME.ibc