From 4bd8bc3acb98933dcf58bffdc904c70ed55c1f72 Mon Sep 17 00:00:00 2001 From: Jordan Brown Date: Fri, 24 Apr 2020 14:38:23 -0400 Subject: [PATCH] Hopefully fix appveyor taking so long to build PRs - Always use dot to generate graphs. --- build/BuildDox.ps1 | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build/BuildDox.ps1 b/build/BuildDox.ps1 index 4d79b96727..4e0b4dcf13 100644 --- a/build/BuildDox.ps1 +++ b/build/BuildDox.ps1 @@ -11,11 +11,10 @@ if($publish_dox){ echo "Cloning https://git@$github_url..." git clone -b gh-pages --single-branch "https://git@$github_url" "$doxdir" 2>$null rm -r "$doxdir\*" - Add-Content "$bf\docs\Doxyfile" "`nPROJECT_NUMBER = $version`nINPUT = $bf`nOUTPUT_DIRECTORY = $doxdir`nPROJECT_LOGO = $bf/build/tgs.ico" -}else{ - Add-Content "$bf\docs\Doxyfile" "`nPROJECT_NUMBER = $version`nINPUT = $bf`nOUTPUT_DIRECTORY = $doxdir`nPROJECT_LOGO = $bf/build/tgs.ico`nHAVE_DOT=YES" } +Add-Content "$bf\docs\Doxyfile" "`nPROJECT_NUMBER = $version`nINPUT = $bf`nOUTPUT_DIRECTORY = $doxdir`nPROJECT_LOGO = $bf/build/tgs.ico`nHAVE_DOT=YES" + &"C:\Program Files\doxygen\bin\doxygen.exe" "$bf\docs\Doxyfile" if($publish_dox){