From dd26b146627ada2c5eedbf6e820b5172592d70e5 Mon Sep 17 00:00:00 2001
From: Jarrett Lee <jgwl@umd.edu>
Date: Tue, 30 May 2023 19:43:35 -0400
Subject: [PATCH] revert dawn-docs

---
 dawn-docs/dev | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/dawn-docs/dev b/dawn-docs/dev
index b7ceb60..0d4dc59 100644
--- a/dawn-docs/dev
+++ b/dawn-docs/dev
@@ -13,8 +13,9 @@ pipeline {
         stage('build') {
             steps {
                 sh '''
-                    make dist-latest
-                '''
+                sudo docker build -t docker.registry.dawn.int:5000/dawn/dawn-docs:latest . -f Dockerfile
+                sudo docker push docker.registry.dawn.int:5000/dawn/dawn-docs:latest
+            '''
             }
         }
 
-- 
GitLab