Add missing library HTML documenting files