+#===================================================================
+# Regenerate package doc / boxes lists
+# Must be made manually as:
+# 1) Is useless for installers (it is to be run after install)
+# 2) Can be done manually for a build tree (e.g. in bbStudio)
+IF(FALSE)
+