# Nothing we can do about this because, depending on the installed version
# of jquery.js, the tree widget breaks.
persistent-cache-cpp-doc: embedded-javascript-library
