From 9113da7185c723db44d0edc414c63638488aebae Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Tue, 24 Oct 2023 19:58:32 +0200 Subject: [PATCH] Fixing CI --- Makefile.am | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile.am b/Makefile.am index eacd0b68..cfc6217a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -269,6 +269,8 @@ src/trexio.c: $(trexio_h) $(trexio_h): $(ORG_FILES) $(GENERATOR_FILES) cd $(srcdir)/tools && ./build_trexio.sh +trex.json: $(trexio_h) + $(htmlizer): $(ORG_FILES) $(srcdir)/src/README.org touch $(htmlizer) cd $(srcdir)/tools && ./build_doc.sh