Add a Makefile to locally generate the Docker image for AsciiDoc

Signed-off-by: Dscano <[email protected]>
p4lang · Jan 10, 2025 · 4182d31 · 4182d31
1 parent 8b9c162
commit 4182d31
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/spec.yml b/.github/workflows/spec.yml
@@ -18,6 +18,14 @@ jobs:
     - name: Run linter
       run: |
         ./tools/asciidoclint.py docs/v1/P4Runtime-Spec.adoc
+  
+  docker:
+    runs-on: [ubuntu-latest]
+    steps:
+    - uses: actions/checkout@v3
+    - name: Run docker
+      run: |
+        make -C docs/tools/
 
   build-spec:
     runs-on: [ubuntu-latest]

diff --git a/docs/tools/Makefile b/docs/tools/Makefile
@@ -0,0 +1,3 @@
+all:
+	docker build -t p4rt-asciidoc -f Dockerfile.asciidoc  .
+	docker tag p4rt-asciidoc p4lang/p4rt-asciidoc:latest