diff options
| author | Tommi Virtanen <tv@debian.org> | 2005-08-26 11:00:04 (GMT) |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-26 19:52:25 (GMT) |
| commit | 88db5f809d1e4a4afd28514151e97b40fd367661 (patch) | |
| tree | 33e73d82ff2a6160940ab9e03075114a3d49b8f1 /Documentation/Makefile | |
| parent | 579fbe598ddd9608bd2fbcf8411299dde06d1912 (diff) | |
| download | git-88db5f809d1e4a4afd28514151e97b40fd367661.zip git-88db5f809d1e4a4afd28514151e97b40fd367661.tar.gz git-88db5f809d1e4a4afd28514151e97b40fd367661.tar.bz2 | |
[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 e928bcf..bd6833b 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)) |