diff options
| author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-05-07 22:49:29 -0400 |
|---|---|---|
| committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2023-05-07 22:49:29 -0400 |
| commit | b7e77446261fdc8dab360d7835a5dec919f6a79f (patch) | |
| tree | 1ce44f4e3df3b3a27bad802ca06576bb27e79502 /doc/contributing.texi | |
| parent | 9719d7d2b0733c57e30bff3180ff0fa25c34c66f (diff) | |
Revert "doc: Update all menus."
This reverts commit 9719d7d2b0733c57e30bff3180ff0fa25c34c66f. It breaks Guix
pull, building the 'guix-manual' for reasons that currently escape me.
Diffstat (limited to 'doc/contributing.texi')
| -rw-r--r-- | doc/contributing.texi | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/contributing.texi b/doc/contributing.texi index bfb2fd8a13..7bf350ee0d 100644 --- a/doc/contributing.texi +++ b/doc/contributing.texi @@ -1384,12 +1384,6 @@ should not be delayed. When a bug is resolved, please close the thread by sending an email to @email{@var{ISSUE_NUMBER}-done@@debbugs.gnu.org}. -@menu -* Configuring Git:: -* Sending a Patch Series:: -* Teams:: -@end menu - @node Configuring Git @subsection Configuring Git @cindex git configuration |