From 10a4565eeade1a4b5a696d64d7fd00efce535991 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 13 Sep 2024 16:09:41 +0200
Subject: [PATCH] [ci] Add dummy targets for WD-echidna CI

---
 document/versions/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/document/versions/Makefile b/document/versions/Makefile
index da776edcf8..c65f94b9e0 100644
--- a/document/versions/Makefile
+++ b/document/versions/Makefile
@@ -7,6 +7,15 @@ all:
 	mkdir -p $(BUILDDIR)/html/$(DIRNAME)
 	cp -R $(DIRS) $(BUILDDIR)/html/$(DIRNAME)/
 
+.PHONY: WD-tar
+WD-tar:
+
+.PHONY: WD-echidna
+WD-echidna:
+
+.PHONY: WD-echidna-CI
+WD-echidna-CI:
+
 .PHONY: diff
 diff: