Until now this broke on `enableSeparateDocOutput = false`, as then `$doc` was not defined so it tried to copy stuff to `/share/doc/servant`. Fixes regression introduced in commit be63b199.