diff --git a/tools/Dockerfile.asciidoc_v1 b/tools/Dockerfile.asciidoc_v1
deleted file mode 100644
index 7613599e22..0000000000
--- a/tools/Dockerfile.asciidoc_v1
+++ /dev/null
@@ -1,33 +0,0 @@
-# SPDX-FileCopyrightText: 2024 The P4 Language Consortium
-#
-# SPDX-License-Identifier: Apache-2.0
-
-FROM ubuntu:22.04
-LABEL maintainer="Language Design Working Group <p4-design@lists.p4.org>"
-LABEL description="Dockerfile used for building the asciidoc specification"
-
-RUN  apt-get update && \
-     apt-get install -y gnupg2 curl git rubygems ruby-dev cmake flex libglib2.0-dev libcairo2-dev libpango1.0-dev libxml2-dev libwebp-dev libzstd-dev libgdk-pixbuf-2.0-dev
-
-RUN  gpg2 --keyserver keyserver.ubuntu.com --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB &&\
-     curl -sSL https://get.rvm.io | bash 
-
-SHELL ["/bin/bash", "-c"]
-RUN   source /usr/local/rvm/scripts/rvm &&\ 
-      rvm install ruby-3.3.3 &&\
-      rvm use 3.3.3 
-
-SHELL ["/bin/sh", "-c"]
-RUN   gem install asciidoctor &&\
-      gem install asciidoctor-pdf \
-      gem install asciidoctor-mathematical \
-      gem install asciidoctor-bibtex\
-      gem install asciidoctor-lists\
-      git clone https://github.com/rouge-ruby/rouge &&\
-      cd rouge \
-      git log -n 1 | cat \
-      gem build rouge.gemspec \ 
-      gem install rouge-4.4.0.gem 
-
-VOLUME ["/usr/src/p4-spec"]
-WORKDIR /usr/src/p4-spec
\ No newline at end of file
diff --git a/tools/Dockerfile.asciidoc_v2 b/tools/Dockerfile.asciidoc_v2
deleted file mode 100644
index 607b218c79..0000000000
--- a/tools/Dockerfile.asciidoc_v2
+++ /dev/null
@@ -1,24 +0,0 @@
-# SPDX-FileCopyrightText: 2024 The P4 Language Consortium
-#
-# SPDX-License-Identifier: Apache-2.0
-
-FROM  ruby:3.3.5
-LABEL maintainer="Language Design Working Group <p4-design@lists.p4.org>"
-LABEL description="Dockerfile used for building the asciidoc specification"
-
-RUN  apt-get update && \
-     apt-get install -y cmake flex bison libglib2.0-dev libcairo2-dev libpango1.0-dev libxml2-dev libwebp-dev libzstd-dev libgdk-pixbuf-2.0-dev
-
-RUN   gem install asciidoctor \
-      gem install asciidoctor-pdf \
-      gem install asciidoctor-mathematical \
-      gem install asciidoctor-bibtex\
-      gem install asciidoctor-lists\
-      git clone https://github.com/rouge-ruby/rouge &&\
-      cd rouge \
-      git log -n 1 | cat \
-      gem build rouge.gemspec \ 
-      gem install rouge-4.4.0.gem 
-
-VOLUME ["/usr/src/p4-spec"]
-WORKDIR /usr/src/p4-spec
\ No newline at end of file