From 1569a19afbed00a55b1754784bd063dde4ac3fd2 Mon Sep 17 00:00:00 2001 From: Antoine Delignat-Lavaud Date: Tue, 13 Jun 2023 14:41:41 +0100 Subject: [PATCH] Work around CI bug --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index de46d564..ff1471d0 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,8 @@ LIBDIR := lib + +# FIXME: workaround for old xml2rfc server no longer working +XML_RESOURCE_ORG_PREFIX := https://bib.ietf.org/public/rfc + include $(LIBDIR)/main.mk $(LIBDIR)/main.mk: