# This file is part of the Sphinx-generated documentation source tree and
# is intentionally included as part of the HTML docs. License information
# is already present in debian/copyright.
librocsolver-doc: extra-license-file [usr/share/doc/librocsolver-dev/html/_sources/license.rst]
