diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-08-22 11:53:00 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-08-22 11:53:01 -0700 |
| commit | cf8b350da8e58bf285d2bbf66b67bb947ffc8718 (patch) | |
| tree | 122c9e54ef18689dbfc2513646b596d6c24571cc /Documentation/Makefile | |
| parent | 7e0c2036b46ee6eef295a7e6dcb3775e874aa780 (diff) | |
| parent | 5fafce0b782dabc48e47828bde5478a15040298f (diff) | |
| download | git-cf8b350da8e58bf285d2bbf66b67bb947ffc8718.tar.gz | |
Merge branch 'jk/check-docs-update'
Simplify "make check-docs" implementation and update its coverage.
* jk/check-docs-update:
check-docs: get documented command list from Makefile
check-docs: drop git-help special-case
check-docs: list git-gui as a command
check-docs: factor out command-list
command-list: mention git-credential-* helpers
command-list: add git-sh-i18n
check-docs: update non-command documentation list
check-docs: mention gitweb specially
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 063fa696c9..cf5916fe8b 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -344,4 +344,7 @@ require-htmlrepo:: quick-install-html: require-htmlrepo '$(SHELL_PATH_SQ)' ./install-doc-quick.sh $(HTML_REPO) $(DESTDIR)$(htmldir) +print-man1: + @for i in $(MAN1_TXT); do echo $$i; done + .PHONY: FORCE |