> a / doc

# there shouldn't be two api/ directories
# see https://github.com/lampepfl/dotty/issues/11412
$ exists target/**/a/api/index.html
$ exists target/**/a/api/foo/A$.html
$ exists target/**/a/api/foo.html
