diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2019-10-16 06:29:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-16 06:29:19 +0200 |
| commit | e2abe08de3d213980536944f9aa1d27352447ccd (patch) | |
| tree | c4fa53e15d13a648ed65eec48505209744fd4fe9 | |
| parent | d4245b06db73c95c70b4b82dd00e9815dcae04d8 (diff) | |
| parent | a43ae6ed279440a65331d54ec300f533e4bca24e (diff) | |
| download | PROJ-e2abe08de3d213980536944f9aa1d27352447ccd.tar.gz PROJ-e2abe08de3d213980536944f9aa1d27352447ccd.zip | |
Merge pull request #1674 from kbevers/improve-doxygen-script
doxygen build script: don't output to /tmp
| -rwxr-xr-x | scripts/doxygen.sh | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/scripts/doxygen.sh b/scripts/doxygen.sh index e9afa365..48646237 100755 --- a/scripts/doxygen.sh +++ b/scripts/doxygen.sh @@ -21,10 +21,10 @@ pushd "${TOPDIR}" > /dev/null || exit # HTML generation # Check that doxygen runs warning free rm -rf docs/build/html/ -mkdir -p docs/build/ -doxygen > /tmp/docs_log.txt 2>&1 -if grep -i warning /tmp/docs_log.txt; then - echo "Doxygen warnings found" && cat /tmp/docs_log.txt && /bin/false; +mkdir -p docs/build/html/ +doxygen > docs/build/html/docs_log.txt 2>&1 +if grep -i warning docs/build/html/docs_log.txt; then + echo "Doxygen warnings found" && cat docs/build/html/docs_log.txt && /bin/false; else echo "No Doxygen warnings found"; fi @@ -34,9 +34,9 @@ fi mkdir -p docs/build/tmp_breathe python scripts/generate_breathe_friendly_general_doc.py rm -rf docs/build/xml/ -(cat Doxyfile; printf "GENERATE_HTML=NO\nGENERATE_XML=YES\nINPUT= src/iso19111 include/proj src/proj.h docs/build/tmp_breathe/general_doc.dox.reworked.h") | doxygen - > /tmp/docs_log.txt 2>&1 -if grep -i warning /tmp/docs_log.txt; then - echo "Doxygen warnings found" && cat /tmp/docs_log.txt && /bin/false; +(cat Doxyfile; printf "GENERATE_HTML=NO\nGENERATE_XML=YES\nINPUT= src/iso19111 include/proj src/proj.h docs/build/tmp_breathe/general_doc.dox.reworked.h") | doxygen - > docs/build/tmp_breathe/docs_log.txt 2>&1 +if grep -i warning docs/build/tmp_breathe/docs_log.txt; then + echo "Doxygen warnings found" && cat docs/build/tmp_breathe/docs_log.txt && /bin/false; else echo "No Doxygen warnings found"; fi |