mirror of
https://github.com/boostorg/function.git
synced 2026-07-23 13:43:51 +00:00
f3d01c47bb
There can be only one project named boost/doc - and we already have that under doc/ This fixes the PDF doc build.