diff options
author | Vladimír Čunát <v@cunat.cz> | 2020-03-02 08:19:44 +0100 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2020-03-02 08:24:54 +0100 |
commit | 83015ff7954a1a111737359ac644443327ce6f6f (patch) | |
tree | 3a0f518140726f0d11b6f933193a5b61148ce83e /doc/Makefile | |
parent | 2e6b7b00a00ae323a9fc7b74fd42f82ad9e63296 (diff) |
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
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
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|<ulink url=|<link xlink:href=|' \ -e 's|</ulink>|</link>|' \ @@ -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|<ulink url=|<link xlink:href=|' \ |