diff options
author | lloyd <[email protected]> | 2011-04-19 13:19:33 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2011-04-19 13:19:33 +0000 |
commit | 73d4e7850e38228d25589dc154039dd4fced59a9 (patch) | |
tree | 507d9d18334f7bd6493534766d8aeedb4de0c99a /doc | |
parent | 2a20f8ccd0b0646ba407220877f2c03f43f2e7be (diff) |
Fix the --without-sphinx and --without-doxygen flags.
If neither --with-sphinx nor --without-sphinx were used, then test for
sphinx-build in the path and turn it on if we find it.
Document the --distribution-info option.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/building.txt | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/building.txt b/doc/building.txt index b31d2e316..fba56196d 100644 --- a/doc/building.txt +++ b/doc/building.txt @@ -249,6 +249,21 @@ script; this will convert the script to the Python 3.x dialect:: $ python ./configure.py [...] +Setting Distribution Info +^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +The build allows you to set some information about what distribution +this build of the library comes from. It is particularly relevant to +people packaging the library for wider distribution, to signify what +distribution this build is from. Applications can test this value by +checking the string value of the macro ``BOTAN_DISTRIBUTION_INFO``. It +can be set using the ``--distribution-info`` flag to ``configure.py``, +and otherwise defaults to "unspecified". For instance, a `Gentoo +<http://www.gentoo.org>`_ ebuild might set it with +``--distribution-info="Gentoo ${PVR}"`` where ``${PVR}`` is an ebuild +variable automatically set to a combination of the library and ebuild +versions. + Local Configuration Settings ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |