mirror of
https://github.com/boostorg/function.git
synced 2026-01-25 16:32:25 +01: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.