From 7083b58ffc95bb5771c711fbc49c80c5ef59fcf6 Mon Sep 17 00:00:00 2001 From: zontreck Date: Sat, 24 May 2025 23:30:58 -0700 Subject: [PATCH] Remove dart doc workaround --- Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 15ed2ec..9648362 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,10 +24,10 @@ pipeline { unset WORKSPACE_TMP rm -rf doc dart pub get - # dart doc - # Workaround for dart doc being broken at the moment - dart pub global activate dartdoc - dart pub global run dartdoc + dart doc + #(EDIT: Workaround is not currently required.) Workaround for dart doc being broken at the moment + #dart pub global activate dartdoc + #dart pub global run dartdoc tar -cvf docs.tgz doc/api/*