+libraries/index.html: $(ALL_HADDOCK_FILES)
+ cd libraries && sh gen_contents_index --inplace
+$(eval $(call all-target,library_doc_index,libraries/index.html))
+INSTALL_LIBRARY_DOCS += libraries/*.html libraries/*.gif libraries/*.css libraries/*.js
+
+ifeq "$(CHECK_PACKAGES)" "YES"
+all: check_packages
+endif
+