diff options
| author | Tommi Virtanen <tv@debian.org> | 2005-08-26 13:00:04 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-26 21:52:25 +0200 |
| commit | 88db5f809d1e4a4afd28514151e97b40fd367661 (patch) | |
| tree | 33e73d82ff2a6160940ab9e03075114a3d49b8f1 /Documentation/Makefile | |
| parent | [PATCH] git bugfixes and cleanups, mainly Debian things (diff) | |
| download | git-88db5f809d1e4a4afd28514151e97b40fd367661.tar.xz git-88db5f809d1e4a4afd28514151e97b40fd367661.zip | |
[PATCH] git bugfixes and cleanups, mainly Debian things
Generate docs for gitk. Install them in the right deb package.
Signed-off-by: Tommi Virtanen <tv@debian.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index e928bcf280..bd6833b79e 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -1,4 +1,4 @@ -MAN1_TXT=$(wildcard git-*.txt) +MAN1_TXT=$(wildcard git-*.txt) gitk.txt MAN7_TXT=git.txt DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN7_TXT)) |