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

This commit is contained in:
spacewander 2019-06-24 10:26:14 +08:00
parent 3080b81bcc
commit 0b49719ae4

View file

@ -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:
```