forked from boostorg/function
f3d01c47bb
There can be only one project named boost/doc - and we already have that under doc/ This fixes the PDF doc build.