test/idrisdoc006/run · Idris-dev

git.iko.soy/Idris-dev

on bf4e535 help sign in

17 lines 601 B history raw

1#!/usr/bin/env bash

2# Tests that documentation properly is merged with existent.

3idris --mkdoc package_a.ipkg

4[ -f test_merge_doc/IdrisDoc ] && echo "IdrisDoc file written"

5idris --mkdoc package_b.ipkg

6ls -1p test_merge_doc/docs

7if 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

9else

10 echo A.fully.Qualified.NAME is NOT in the index

12if grep -q "href\\=\"docs/B\\.html\"" test_merge_doc/index.html; then

13 echo B is in the index

14else

15 echo B is NOT in the index

17rm -rf *.ibc *_doc A/fully/Qualified/NAME.ibc