man/Readme.md: we don't need to update git-extras docs separately

tj · Jun 24, 2019 · 0b49719 · 0b49719
1 parent 3080b81
commit 0b49719
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/man/Readme.md b/man/Readme.md
@@ -17,15 +17,6 @@ To generate documentation:
 $ make -C .. man/git-<command>.{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:
 
 ```