From 474d937d9ce047bd455246371a9943e9ba256323 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9gory=20Mantelet?= Date: Thu, 28 Nov 2024 10:10:25 +0100 Subject: [PATCH] Fix the `doc_name` substitution in the Makefile's `update-ci` target --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 17e7c09..199161f 100644 --- a/Makefile +++ b/Makefile @@ -296,14 +296,14 @@ $(GITHUB_WORKFLOWS): @mkdir -p $@ $(GITHUB_BUILD): $(GITHUB_WORKFLOWS) $(GITHUB_BUILD_TEMPLATE) - @sed "s!^\(\s*doc_name:\)!\1 $(DOCNAME)!g" $(GITHUB_BUILD_TEMPLATE) > $@ + @sed "s!^\(\s*doc_name\s*:\)!\1 $(DOCNAME)!g" $(GITHUB_BUILD_TEMPLATE) > $@ @git add "$@" @echo "* GitHub Workflow Build (to check compilation of the IVOA document)\ \n in PullRequest configured:\n $@" @echo ' => Run "git commit && git push" to enable this Build workflow.' $(GITHUB_PREVIEW): $(GITHUB_WORKFLOWS) $(GITHUB_PREVIEW_TEMPLATE) - @sed "s!^\(\s*doc_name:\)!\1 $(DOCNAME)!g" $(GITHUB_PREVIEW_TEMPLATE) > $@ + @sed "s!^\(\s*doc_name\s*:\)!\1 $(DOCNAME)!g" $(GITHUB_PREVIEW_TEMPLATE) > $@ @git add "$@" @echo "* GitHub Workflow for PDF preview at pushed commit configured:\ \n $@\n\