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