jquery.js has become obsolete in doxygen#9321

albert-github wants to merge 6 commits intoCGAL:mainCGAL/cgal:mainfrom

albert-github:feature/bug_jquery_jsalbert-github/cgal:feature/bug_jquery_jsCopy head branch name to clipboard