1
0
mirror of https://github.com/TREX-CoE/trexio.git synced 2024-11-03 12:43:55 +01:00

Fixing CI

This commit is contained in:
Anthony Scemama 2023-10-24 19:58:32 +02:00
parent 8a2067d995
commit 9113da7185

View File

@ -269,6 +269,8 @@ src/trexio.c: $(trexio_h)
$(trexio_h): $(ORG_FILES) $(GENERATOR_FILES) $(trexio_h): $(ORG_FILES) $(GENERATOR_FILES)
cd $(srcdir)/tools && ./build_trexio.sh cd $(srcdir)/tools && ./build_trexio.sh
trex.json: $(trexio_h)
$(htmlizer): $(ORG_FILES) $(srcdir)/src/README.org $(htmlizer): $(ORG_FILES) $(srcdir)/src/README.org
touch $(htmlizer) touch $(htmlizer)
cd $(srcdir)/tools && ./build_doc.sh cd $(srcdir)/tools && ./build_doc.sh