diff options
author | Graham Christensen <graham@grahamc.com> | 2019-02-23 18:06:31 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-23 18:06:31 -0500 |
commit | 695fb802f104ad2fbb39cba383d336d4dd560434 (patch) | |
tree | ac32e0aeda27e5b9b98a021ad40ace5c719658e7 /doc/functions.xml | |
parent | 245c11c6139dfcbc5678e87dd925c866d4bae242 (diff) | |
parent | 58443d8a506a67de76f09e8ca57bc5b010798cbe (diff) |
Merge pull request #54693 from tilpner/appimage-tools
appimageTools: init
Diffstat (limited to 'doc/functions.xml')
-rw-r--r-- | doc/functions.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/functions.xml b/doc/functions.xml index 53b3654fc4508..1f2d00b9e1afa 100644 --- a/doc/functions.xml +++ b/doc/functions.xml @@ -16,6 +16,7 @@ <xi:include href="functions/fhs-environments.xml" /> <xi:include href="functions/shell.xml" /> <xi:include href="functions/dockertools.xml" /> + <xi:include href="functions/appimagetools.xml" /> <xi:include href="functions/prefer-remote-fetch.xml" /> <xi:include href="functions/nix-gitignore.xml" /> </chapter> |