No need to build or install library-configuration.html any more.