diff options
author | 2023-12-30 14:51:43 +0200 | |
---|---|---|
committer | 2023-12-30 14:51:43 +0200 | |
commit | ad6cdebbc8c094dc6736d34bb7a79c7ed0227f10 (patch) | |
tree | 07f395bbb0c5fe5c0937f8860d5c33d186cc1a1a /doc | |
parent | coverage: skip pkgdev bugs for now (diff) | |
download | pkgdev-ad6cdebbc8c094dc6736d34bb7a79c7ed0227f10.tar.gz pkgdev-ad6cdebbc8c094dc6736d34bb7a79c7ed0227f10.tar.bz2 pkgdev-ad6cdebbc8c094dc6736d34bb7a79c7ed0227f10.zip |
docs: some cleanup and improvements
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/index.rst b/doc/index.rst index 8570603..8fa4ae2 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -8,6 +8,7 @@ Contents: :maxdepth: 4 man/pkgdev + man/pkgdev/bugs man/pkgdev/commit man/pkgdev/manifest man/pkgdev/mask |