diff options
author | Simon Glass <sjg@chromium.org> | 2022-08-09 13:49:57 -0600 |
---|---|---|
committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2022-08-13 11:09:49 +0200 |
commit | 37c42b7270597fea321d23ac1b079c0487c95302 (patch) | |
tree | dfe5a277af5943002e81650ba8424a40358ecb3d /tools/patman/main.py | |
parent | 9f0a2e77a055d4612cd6783c27e3c7a3b3de0739 (diff) |
patman: Add documentation to doc/
Link to patman's documentation from the doc/ directory so that it appears
in the 'make htmldocs' output.
Signed-off-by: Simon Glass <sjg@chromium.org>
Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Diffstat (limited to 'tools/patman/main.py')
-rwxr-xr-x | tools/patman/main.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/patman/main.py b/tools/patman/main.py index 15e7af0e54e..5a7756a221b 100755 --- a/tools/patman/main.py +++ b/tools/patman/main.py @@ -164,7 +164,8 @@ elif args.cmd == 'send': elif args.full_help: tools.print_full_help( - os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), 'README') + os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), + 'README.rst') ) else: |