ficus's doc can now be built independently