From bbfe815dc8ee21c923b8d11e6a09b75d7458eb3c Mon Sep 17 00:00:00 2001 From: Alan Grossfield Date: Fri, 2 Feb 2024 12:01:22 -0500 Subject: [PATCH] updated the github docs script, NOT CAREFULLY TESTED --- utils/update_github_docs.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/utils/update_github_docs.sh b/utils/update_github_docs.sh index 1dbf6c81f..43fc8104a 100755 --- a/utils/update_github_docs.sh +++ b/utils/update_github_docs.sh @@ -1,5 +1,7 @@ #!/bin/bash # Usage: update_github_docs.sh ~/projects/loos-docs ~/project/LOOS "message goes here" +# THIS SCRIPT IS NOT THOROUGHLY TESTED, USE AT YOUR OWN RISK +# I'd suggest essentially doing this manually until we're sure the script is always correct docs_dir=$1 loos_dir=$2 @@ -8,11 +10,13 @@ message=$3 cd $docs_dir git pull git checkout gh-pages +# This is unsafe as written, so BE VERY CAREFUL TO GET THE DIRECTORIES RIGHT +rm -rf * -cd $loos_dir -doxygen +cd $loos_dir/build +cmake --build . --target=docs -rsync -av Docs/html/ $docs_dir +rsync -av html/* $docs_dir cd $docs_dir