From 0b49719ae4587806fc54e210b4035ec37d7cdd1b Mon Sep 17 00:00:00 2001 From: spacewander Date: Mon, 24 Jun 2019 10:26:14 +0800 Subject: [PATCH] man/Readme.md: we don't need to update git-extras docs separately --- man/Readme.md | 9 --------- 1 file changed, 9 deletions(-) diff --git a/man/Readme.md b/man/Readme.md index 21f3d7d..4eb497b 100644 --- a/man/Readme.md +++ b/man/Readme.md @@ -17,15 +17,6 @@ To generate documentation: $ make -C .. man/git-.{1,html} ``` -If you are introducing a new command, you should also update the `man/index.txt` -and `man/git-extras.{1,html,md}` via - -``` -$ make -C .. man/index.txt -$ make -C .. man/git-extras.md -$ make -C .. man/git-extras.{1,html} -``` - 4) Remember, we use the following naming convention for files: ```