diff options
| author | Mark Wooding <mdw@distorted.org.uk> | 2006-03-05 09:36:33 +0000 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-03-05 02:32:13 -0800 |
| commit | 4a5d6939509f9aeef600ea17643caef4c898b12f (patch) | |
| tree | 28d3ae5666a0704da7e11a276bd0d0548906318b /Documentation/git-push.txt | |
| parent | b30cc0daaf8e5c179356e0d9ec9e081464956c7e (diff) | |
| download | git-4a5d6939509f9aeef600ea17643caef4c898b12f.tar.gz git-4a5d6939509f9aeef600ea17643caef4c898b12f.tar.xz | |
Documentation/Makefile: Some `git-*.txt' files aren't manpages.
In particular, git-tools.txt isn't a manpage, and my Asciidoc gets upset
by it. The simplest fix is to Remove articles from the list of manpages
the Makefile.
Signed-off-by: Mark Wooding <mdw@distorted.org.uk>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions