mirror of
https://github.com/boostorg/boostbook.git
synced 2025-05-09 15:03:57 +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.