diff --git a/etc/check_doc_order.py b/etc/check_doc_order.py index 53dcc3cc1..cc456ac37 100755 --- a/etc/check_doc_order.py +++ b/etc/check_doc_order.py @@ -65,7 +65,7 @@ def process_file(f): highest_level = level break print( - f"{begin_warn_col}Warning: {command} is not in the correct place in docstring at {file}:{line_no+1}{end_warn_col}" + f"{begin_warn_col}warning: {command} is not in the correct place in docstring at {file}:{line_no+1}{end_warn_col}" ) diff --git a/etc/make-doc.sh b/etc/make-doc.sh index e79b61bc2..f7c88eb71 100755 --- a/etc/make-doc.sh +++ b/etc/make-doc.sh @@ -1,6 +1,8 @@ #!/bin/bash set -e +echo "Checking doc order . . ." +./etc/check_doc_order.py mkdir -p docs/build cd docs/ echo "doxygen --version"