diff options
author | Graham Christensen <graham@grahamc.com> | 2018-10-02 14:16:27 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-10-02 14:16:27 -0400 |
commit | c3125498fd7d0398f50e2b53a9e274b7c1e2db67 (patch) | |
tree | d01d375f9a0b0ec7a0f0b2fcd0897a736e041b23 /doc/functions.xml | |
parent | 507a63c88557f8afa06a3e507fe3d055fc55a815 (diff) |
shell functions: rewrite as xml
Diffstat (limited to 'doc/functions.xml')
-rw-r--r-- | doc/functions.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/functions.xml b/doc/functions.xml index ee73c46ad4d34..88011061ae6ed 100644 --- a/doc/functions.xml +++ b/doc/functions.xml @@ -12,6 +12,6 @@ <xi:include href="functions/generators.xml" /> <xi:include href="functions/debug.xml" /> <xi:include href="functions/fhs-environments.xml" /> - <xi:include href="functions/shell.section.xml" /> + <xi:include href="functions/shell.xml" /> <xi:include href="functions/dockertools.xml" /> </chapter> |