mirror of
https://github.com/boostorg/boostbook.git
synced 2025-05-09 23:13:58 +00:00
There can be only one project named boost/doc and we have that already under /doc/ Change to something unique. Fixes PDF doc build.
There can be only one project named boost/doc and we have that already under /doc/ Change to something unique. Fixes PDF doc build.