diff options
author | Graham Christensen <graham@grahamc.com> | 2018-08-27 19:53:25 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-08-27 19:53:25 -0400 |
commit | 53371b15c6f287b627e1255bb21d54e123e1f96f (patch) | |
tree | 70ea9da14bd77030f57dfa4cfa714b75d93d0218 | |
parent | ba9db083ac42b444f89494161fd3f328404d4229 (diff) |
docs: include shell section
-rw-r--r-- | doc/functions.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/functions.xml b/doc/functions.xml index 2a9cc44d5c5bb..9bbf97c5c71e7 100644 --- a/doc/functions.xml +++ b/doc/functions.xml @@ -1,5 +1,6 @@ <chapter xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" + xmlns:xi="http://www.w3.org/2001/XInclude" xml:id="chap-functions"> <title>Functions reference</title> <para> @@ -444,6 +445,7 @@ merge:"diff3" <filename>./bin/start.sh</filename> -- relative paths are supported. </para> </section> + <xi:include href="shell.section.xml" /> <section xml:id="sec-pkgs-dockerTools"> <title>pkgs.dockerTools</title> |