mirror of
https://github.com/boostorg/function.git
synced 2026-01-20 04:32:21 +00:00
There can be only one project named boost/doc - and we already have that under doc/ This fixes the PDF doc build.
There can be only one project named boost/doc - and we already have that under doc/ This fixes the PDF doc build.