# the html files in pages/ aren't documentation, they're part of the
# extension
package-contains-documentation-outside-usr-share-doc
