summaryrefslogtreecommitdiff
path: root/dist/s_docs
diff options
context:
space:
mode:
authorMichael Cahill <michael.cahill@mongodb.com>2016-05-05 15:38:12 +1000
committerMichael Cahill <michael.cahill@mongodb.com>2016-05-05 15:38:12 +1000
commit636a7b25ef3eca6b98009330f4d35337d4f35717 (patch)
tree7cc2e03ad96e206cbe73343feef10197023a37da /dist/s_docs
parenteaa7b5f0fcc62f356c33a2c56f45b609a73ca5dd (diff)
parent75c22bc0c662622c14e5c47d99ff262cede2c6bf (diff)
downloadmongo-b064c1e78025e6c144e1cc135f0f36759d418ea2.tar.gz
Merge branch 'develop' into mongodb-3.4mongodb-3.3.6
Diffstat (limited to 'dist/s_docs')
-rwxr-xr-xdist/s_docs3
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/s_docs b/dist/s_docs
index c66bcb0bd06..08602989fe8 100755
--- a/dist/s_docs
+++ b/dist/s_docs
@@ -114,7 +114,8 @@ valid_build()
}
classf=`ls ../docs/struct___* 2>/dev/null`
for c in $classf; do
- echo "$c: Need to add class to PREDEFINED in src/docs/Doxyfile"
+ echo "$c: Add class to PREDEFINED in src/docs/Doxyfile, then remove docs/*.{html,js} and rebuild"
+
done
}