Is it ok to make the doc/libpkg-dev directory be a symlink to the doc/libpkg directory, since libpkg-dev cannot be installed without libpkg? I think this practice ought to be acceptable, to avoid duplicate files in doc/**.