Merge branch 'master' into 1.3.x

manuel-serrano · Apr 25, 2024 · f29e875 · f29e875
2 parents d0dd139 + 8c8f879
commit f29e875
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -52,6 +52,7 @@ VPATH=syntax
 	$(HOP) $(EFLAGS) -q --no-clear-cache --no-cache --no-server -- \
           $(DOCJS) "compile-library" $< -o $@ \
           || ($(RM) $@; exit 1)
+	mv mermaid*.svg ..
 
 #*---------------------------------------------------------------------*/
 #*    idx.json ...                                                     */

diff --git a/doc/mermaid-6302dfb2.svg → mermaid-6302dfb2.svg b/doc/mermaid-6302dfb2.svg → mermaid-6302dfb2.svg