diff options
| author |  Thomas Ackermann <th.acker@arcor.de> | 2014-01-26 13:57:19 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2014-01-27 09:02:02 -0800 |
| commit | 586aa7863141ad07fd6eb45349a3cb62fdcd28ea (patch) | |
| tree | 7a1e341c422e66d68963df3e7aab298689fce680 /Documentation/git-diff.txt | |
| parent | Makefile: Fix compilation of Windows resource file (diff) | |
| download | tgif-586aa7863141ad07fd6eb45349a3cb62fdcd28ea.tar.xz | |
create HTML for http-protocol.txt
./Documentation/technical/http-protocol.txt was missing from TECH_DOCS in Makefile.
Add it and also improve HTML formatting while still retaining good readability of the ASCII text:
- Use monospace font instead of italicized or roman font for machine output and source text
- Use roman font for things which should be body text
- Use double quotes consistently for "want" and "have" commands
- Use uppercase "C" / "S" consistently for "client" / "server";
also use "C:" / "S:" instead of "(C)" / "(S)" for consistency and
to avoid having formatted "(C)" as copyright symbol in HTML
- Use only spaces and not a combination of tabs and spaces for whitespace
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-diff.txt')
0 files changed, 0 insertions, 0 deletions