idris-1.3.3: test/idrisdoc001/expected.out

Warning: Ignoring empty or non-existing namespace 'TestEmpty'
Warning: Ignoring empty or non-existing namespace 'TestPrivate'
No namespaces to generate documentation for