From 83015ff7954a1a111737359ac644443327ce6f6f Mon Sep 17 00:00:00 2001 From: Vladimír Čunát Date: Mon, 2 Mar 2020 08:19:44 +0100 Subject: nixpkgs manual: fix build after pandoc(?) update I din't try to pinpoint the exact commit, but we started getting: > The extension smart is not supported for docbook Reading pandoc docs, I can't see what use to us "smart" could be when writing the in-between docbook (to be converted to html). https://pandoc.org/MANUAL.html#extension-smart --- doc/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/Makefile b/doc/Makefile index e7ca31b20d71b..cdef493502bf5 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -87,7 +87,7 @@ functions/library/generated: doc-support/result ln -rfs ./doc-support/result/function-docs functions/library/generated %.section.xml: %.section.md - pandoc $^ -w docbook+smart \ + pandoc $^ -w docbook \ -f markdown+smart \ | sed -e 's|||' \ @@ -98,7 +98,7 @@ functions/library/generated: doc-support/result | cat > $@ %.chapter.xml: %.chapter.md - pandoc $^ -w docbook+smart \ + pandoc $^ -w docbook \ --top-level-division=chapter \ -f markdown+smart \ | sed -e 's|