# singular interfaces can read the info file but only in its uncompressed form
singular-doc: info-document-not-compressed

# singular.info file is distributed in the "-doc" package because it is heavy
singular-doc: package-contains-documentation-outside-usr-share-doc
