From ce1c7e41c6d90e1ca7d00c68afbd4fca8f55115e Mon Sep 17 00:00:00 2001 From: John Chilton Date: Tue, 1 Nov 2016 12:43:02 -0400 Subject: [PATCH] Restore XML formatting for schema document. --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile b/doc/Makefile index 323da3c2fa2..7998b88d914 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -49,6 +49,7 @@ schema.md: parse_gx_xsd.py schema_template.md ../lib/galaxy/tools/xsd/galaxy.xsd source/dev/schema.rst: schema.md ## Convert Galaxy Tool XSD Markdown docs into reStructuredText (expects pandoc in environment) pandoc schema.md -f markdown_github-hard_line_breaks -s --toc --toc-depth=2 -o $@ + sed -i -e 's|.. code:: xml|.. code-block:: xml|g' $@ # might also want to do # cd source/lib; hg revert; rm *.rst.orig; or not.