- # - public/search.html and public/genindex.html are also generated.
- - linkchecker --check-extern --ignore-url='.*\.css$' --ignore-url=public/java/org --ignore-url=public/search.html --ignore-url public/genindex.html ../public
+ - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org ../public
+ # From time to time, we should check external links with the
+ # following, but it has a lot of false positive
+ # - linkchecker --ignore-url='.*\.css$' --ignore-url=public/java/org --check-extern ../public