Junio C Hamano 523f0a25b9 Merge branch 'pw/git-p4' ...

Various "git p4" updates.

* pw/git-p4:
  git p4 doc: use two-line style for options with multiple spellings
  git p4 test: examine behavior with locked (+l) files
  git p4: fix an error message when "p4 where" fails
  git p4: handle files with wildcards when doing RCS scrubbing
  git p4 test: do not pollute /tmp
  git p4 test: run as user "author"
  git p4 test: is_cli_file_writeable succeeds
  git p4 test: explicitly check p4 wildcard delete
  git p4: work around p4 bug that causes empty symlinks
  git p4 test: ensure p4 symlink parsing works
  git p4 test: wildcards are supported

2014-01-27 10:45:41 -08:00

..

howto

Merge branch 'sc/doc-howto-dumb-http'

2013-11-04 14:57:57 -08:00

RelNotes

Git 1.9-rc0

2014-01-17 12:30:14 -08:00

technical

Merge branch 'nd/shallow-clone'

2014-01-17 12:21:20 -08:00

.gitattributes

…

.gitignore

doc: generate a list of valid merge tools

2013-02-02 21:46:52 -08:00

asciidoc.conf

Documentation: avoid poor-man's small caps GIT

2013-02-01 13:53:25 -08:00

blame-options.txt

blame: document multiple -L support

2013-08-06 14:34:43 -07:00

build-docdep.perl

…

cat-texi.perl

Documentation: Strip texinfo anchors to avoid duplicates

2013-04-03 16:14:19 -07:00

cmd-list.perl

…

CodingGuidelines

Merge branch 'jj/doc-markup-hints-in-coding-guidelines' into maint

2013-12-17 11:36:10 -08:00

config.txt

Merge branch 'nd/shallow-clone'

2014-01-17 12:21:20 -08:00

date-formats.txt

Correct word usage of "timezone" in "Documentation" directory

2013-11-12 10:47:17 -08:00

diff-config.txt

diff: add diff.orderfile configuration variable

2013-12-18 16:39:00 -08:00

diff-format.txt

Fix typos in technical documentation.

2010-01-31 10:24:53 -08:00

diff-generate-patch.txt

docs: stop using asciidoc no-inline-literal

2012-04-26 13:19:06 -07:00

diff-options.txt

diff: add diff.orderfile configuration variable

2013-12-18 16:39:00 -08:00

docbook-xsl.css

…

docbook.xsl

Documentation: set a !DOCTYPE for user manual

2010-08-20 10:53:56 -07:00

everyday.txt

Documentation: make AsciiDoc links always point to HTML files

2013-09-06 14:49:06 -07:00

fetch-options.txt

Merge branch 'nd/shallow-clone'

2014-01-17 12:21:20 -08:00

fix-texi.perl

…

git-add.txt

git add: --ignore-removal is a better named --no-all

2013-04-22 13:34:31 -07:00

git-am.txt

am: replace uses of --resolved with --continue

2013-06-27 09:37:12 -07:00

git-annotate.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-apply.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-archimport.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-archive.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-bisect-lk2009.txt

typofix: documentation

2013-07-22 16:06:48 -07:00

git-bisect.txt

Merge branch 'mg/bisect-doc'

2013-02-14 10:29:01 -08:00

git-blame.txt

Correct word usage of "timezone" in "Documentation" directory

2013-11-12 10:47:17 -08:00

git-branch.txt

Refer to branch.<name>.remote/merge when documenting --track

2013-09-09 11:03:01 -07:00

git-bundle.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-cat-file.txt

cat-file: provide %(deltabase) batch format

2013-12-26 11:54:26 -08:00

git-check-attr.txt

Merge branch 'jc/check-x-z'

2013-09-04 12:23:25 -07:00

git-check-ignore.txt

check-ignore: Add option to ignore index contents

2013-09-12 15:40:29 -07:00

git-check-mailmap.txt

builtin: add git-check-mailmap command

2013-07-13 10:19:37 -07:00

git-check-ref-format.txt

Add new @ shortcut for HEAD

2013-09-12 14:39:34 -07:00

git-checkout-index.txt

doc: drop author/documentation sections from most pages

2011-03-11 10:59:16 -05:00

git-checkout.txt

Documentation: @{-N} can refer to a commit

2014-01-21 13:50:00 -08:00

git-cherry-pick.txt

Merge branch 'cw/cherry-pick-allow-empty-message'

2012-09-03 15:53:37 -07:00

git-cherry.txt

Documentation: revamp git-cherry(1)

2013-11-27 12:16:49 -08:00

git-citool.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-clean.txt

Documentation/git-clean: fix description for range

2013-07-24 19:16:13 -07:00

git-clone.txt

git-clone.txt: remove shallow clone limitations

2013-12-10 16:14:19 -08:00

git-column.txt

Documentation: spelling fixes

2012-06-19 11:35:19 -07:00

git-commit-tree.txt

commit-tree: document -S option consistently

2013-03-25 15:01:22 -07:00

git-commit.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-config.txt

Merge branch 'jc/url-match'

2013-09-09 14:50:36 -07:00

git-count-objects.txt

count-objects: add -H option to humanize sizes

2013-04-10 13:27:26 -07:00

git-credential-cache--daemon.txt

command-list: mention git-credential-* helpers

2012-08-08 12:11:54 -07:00

git-credential-cache.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-credential-store.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-credential.txt

Documentation: make AsciiDoc links always point to HTML files

2013-09-06 14:49:06 -07:00

git-cvsexportcommit.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-cvsimport.txt

Correct word usage of "timezone" in "Documentation" directory

2013-11-12 10:47:17 -08:00

git-cvsserver.txt

Merge branch 'ta/doc-no-small-caps'

2013-02-05 16:13:32 -08:00

git-daemon.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-describe.txt

use 'commit-ish' instead of 'committish'

2013-09-04 15:03:03 -07:00

git-diff-files.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-diff-index.txt

Documentation/diff-index: mention two modes of operation

2013-05-20 15:50:44 -07:00

git-diff-tree.txt

docs: fix some antique example output

2011-05-26 22:15:39 -07:00

git-diff.txt

diff --no-index: describe in a separate paragraph

2013-08-28 15:17:18 -07:00

git-difftool.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-fast-export.txt

Documentation: Update 'linux-2.6.git' -> 'linux.git'

2013-06-22 23:36:48 -07:00

git-fast-import.txt

Correct word usage of "timezone" in "Documentation" directory

2013-11-12 10:47:17 -08:00

git-fetch-pack.txt

Merge branch 'tb/doc-fetch-pack-url' into maint

2013-12-17 11:34:24 -08:00

git-fetch.txt

Merge branch 'fc/trivial'

2013-12-17 11:46:32 -08:00

git-filter-branch.txt

docs: add filter-branch notes on The BFG

2013-12-18 10:41:41 -08:00

git-fmt-merge-msg.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-for-each-ref.txt

Add cross-references between docs for for-each-ref and show-ref

2014-01-22 12:08:39 -08:00

git-format-patch.txt

format-patch doc: Thunderbird wraps lines unless mailnews.wraplength=0

2013-10-14 16:20:01 -07:00

git-fsck-objects.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-fsck.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-gc.txt

Merge branch 'nd/gc-lock-against-each-other'

2013-09-04 12:35:34 -07:00

git-get-tar-commit-id.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-grep.txt

Merge branch 'mg/more-textconv'

2013-10-23 13:21:31 -07:00

git-gui.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-hash-object.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-help.txt

doc: include --guide option description for "git help"

2013-04-03 07:43:29 -07:00

git-http-backend.txt

doc/http-backend: match query-string in apache half-auth example

2013-04-13 22:27:06 -07:00

git-http-fetch.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-http-push.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-imap-send.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-index-pack.txt

clone: open a shortcut for connectivity check

2013-05-28 08:07:20 -07:00

git-init-db.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-init.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-instaweb.txt

Documentation: Link to gitweb(1) and gitweb.conf(5) in other manpages

2011-10-16 11:09:35 -07:00

git-log.txt

Merge branch 'jj/log-doc' into maint

2013-12-17 11:35:41 -08:00

git-ls-files.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-ls-remote.txt

ls-remote doc: don't encourage use of branches-file

2013-06-23 00:33:58 -07:00

git-ls-tree.txt

doc: drop author/documentation sections from most pages

2011-03-11 10:59:16 -05:00

git-mailinfo.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-mailsplit.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-merge-base.txt

merge-base: teach "--fork-point" mode

2013-10-29 13:06:08 -07:00

git-merge-file.txt

Documentation/git-merge-file: document option "--diff3"

2013-08-09 14:19:59 -07:00

git-merge-index.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-merge-one-file.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-merge-tree.txt

use 'tree-ish' instead of 'treeish'

2013-09-04 15:02:56 -07:00

git-merge.txt

git-merge: document the -S option

2013-10-18 12:47:33 -07:00

git-mergetool--lib.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-mergetool.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-mktag.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-mktree.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-mv.txt

mv: better document side effects when moving a submodule

2014-01-07 14:33:04 -08:00

git-name-rev.txt

use 'commit-ish' instead of 'committish'

2013-09-04 15:03:03 -07:00

git-notes.txt

Doc notes: Include the format-patch --notes option

2012-10-25 06:15:56 -04:00

git-p4.txt

git p4 doc: use two-line style for options with multiple spellings

2014-01-22 08:06:20 -08:00

git-pack-objects.txt

pack-objects doc: treat output filename as opaque

2013-12-16 11:36:09 -08:00

git-pack-redundant.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-pack-refs.txt

Documentation: remove --prune from pack-refs examples

2013-07-18 16:23:46 -07:00

git-parse-remote.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-patch-id.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-prune-packed.txt

git-prune-packed.txt: fix reference to GIT_OBJECT_DIRECTORY

2013-10-15 16:01:22 -07:00

git-prune.txt

prune: clean .git/shallow after pruning objects

2013-12-10 16:14:19 -08:00

git-pull.txt

Merge branch 'jc/maint-pull-docfix'

2014-01-27 10:44:00 -08:00

git-push.txt

push: use remote.$name.push as a refmap

2013-12-04 15:11:08 -08:00

git-quiltimport.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-read-tree.txt

Merge branch 'jh/fetch-head-update'

2012-01-06 12:44:01 -08:00

git-rebase.txt

rebase: use reflog to find common base with upstream

2013-12-10 10:56:30 -08:00

git-receive-pack.txt

Sync with 1.7.6.2

2011-09-06 11:42:12 -07:00

git-reflog.txt

Merge branch 'jc/prune-all'

2013-05-29 14:23:04 -07:00

git-relink.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-remote-ext.txt

doc: various spelling fixes

2013-04-12 12:00:52 -07:00

git-remote-fd.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-remote-helpers.txto

Rename {git- => git}remote-helpers.txt

2013-02-01 14:12:34 -08:00

git-remote-testgit.txt

Merge branch 'jk/remote-helpers-doc'

2013-02-07 14:41:45 -08:00

git-remote.txt

remote doc: document long forms of set-head options

2013-09-27 16:49:18 -07:00

git-repack.txt

Reword repack documentation to no longer state it's a script

2013-10-22 11:17:15 -07:00

git-replace.txt

replace info: rename 'full' to 'long' and clarify in-code symbols

2013-12-30 12:33:11 -08:00

git-request-pull.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-rerere.txt

docs: stop using asciidoc no-inline-literal

2012-04-26 13:19:06 -07:00

git-reset.txt

Documentation: "git reset <tree-ish> <pathspec>" takes a tree-ish, not tree-sh

2013-07-19 10:15:09 -07:00

git-rev-list.txt

log doc: the argument to --encoding is not optional

2013-08-05 08:19:47 -07:00

git-rev-parse.txt

Merge branch 'jc/ref-excludes'

2013-12-05 12:59:09 -08:00

git-revert.txt

Documentation: make AsciiDoc links always point to HTML files

2013-09-06 14:49:06 -07:00

git-rm.txt

rm: better document side effects when removing a submodule

2014-01-07 14:34:06 -08:00

git-send-email.txt

send-email: be explicit with SSL certificate verification

2013-07-18 16:01:30 -07:00

git-send-pack.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-sh-i18n--envsubst.txt

correct a few doubled-word nits in comments and documentation

2012-03-28 11:18:35 -07:00

git-sh-i18n.txt

Merge branch 'jn/doc-dashdash' into maint

2011-09-11 21:52:18 -07:00

git-sh-setup.txt

Merge branch 'jc/reflog-doc'

2013-10-18 13:50:12 -07:00

git-shell.txt

shell: new no-interactive-login command to print a custom message

2013-03-09 23:21:35 -08:00

git-shortlog.txt

git-shortlog.txt: make SYNOPSIS match log, update OPTIONS

2013-04-21 23:11:02 -07:00

git-show-branch.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-show-index.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-show-ref.txt

Add cross-references between docs for for-each-ref and show-ref

2014-01-22 12:08:39 -08:00

git-show.txt

Documentation/git-show.txt: include common diff options, like git-log.txt

2013-07-17 17:50:56 -07:00

git-stage.txt

doc: add missing git footers

2011-03-11 10:59:16 -05:00

git-stash.txt

Revert "git stash: avoid data loss when "git stash save" kills a directory"

2013-08-14 09:53:43 -07:00

git-status.txt

Improve documentation concerning the status.submodulesummary setting

2013-09-11 12:20:41 -07:00

git-stripspace.txt

Merge branch 'ta/doc-no-small-caps'

2013-02-05 16:13:32 -08:00

git-submodule.txt

Merge branch 'fg/submodule-clone-depth'

2013-07-15 10:28:48 -07:00

git-svn.txt

Correct word usage of "timezone" in "Documentation" directory

2013-11-12 10:47:17 -08:00

git-symbolic-ref.txt

git symbolic-ref --delete $symref

2012-10-21 12:17:38 -07:00

git-tag.txt

Merge branch 'ds/doc-two-kinds-of-tags'

2013-07-31 12:38:21 -07:00

git-tools.txt

doc: various spelling fixes

2013-04-12 12:00:52 -07:00

git-unpack-file.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-unpack-objects.txt

Merge branch 'vd/doc-unpack-objects' into maint

2013-11-07 14:37:36 -08:00

git-update-index.txt

documentation: trivial style cleanups

2013-05-17 12:09:21 -07:00

git-update-ref.txt

update-ref: support multiple simultaneous updates

2013-09-09 09:54:37 -07:00

git-update-server-info.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git-upload-archive.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-upload-pack.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-var.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

git-verify-pack.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-verify-tag.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

git-web--browse.txt

web--browse: Add support for xdg-open

2013-10-30 13:54:15 -07:00

git-whatchanged.txt

whatchanged: document its historical nature

2013-08-13 09:01:54 -07:00

git-write-tree.txt

Documentation: use [verse] for SYNOPSIS sections

2011-07-06 14:26:26 -07:00

git.txt

Sync with 1.8.5.3

2014-01-13 11:39:38 -08:00

gitattributes.txt

gitattributes: document more clearly where macros are allowed

2014-01-14 13:56:56 -08:00

gitcli.txt

Merge branch 'jj/doc-markup-gitcli' into maint

2013-12-17 11:36:38 -08:00

gitcore-tutorial.txt

core-tutorial: trim the section on Inspecting Changes

2013-08-13 09:01:52 -07:00

gitcredentials.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

gitcvs-migration.txt

Documentation: make AsciiDoc links always point to HTML files

2013-09-06 14:49:06 -07:00

gitdiffcore.txt

diffcore-pickaxe doc: document -S and -G properly

2013-06-03 10:53:11 -07:00

gitglossary.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

githooks.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

gitignore.txt

Merge branch 'jn/ignore-doc'

2014-01-27 10:44:27 -08:00

gitk.txt

Documentation/gitk: document -L option

2014-01-21 13:41:30 -08:00

gitmodules.txt

Documentation/gitmodules: Only 'update' and 'url' are required

2014-01-06 09:08:18 -08:00

gitnamespaces.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

gitremote-helpers.txt

smart-http: support shallow fetch/clone

2013-12-10 16:14:18 -08:00

gitrepository-layout.txt

Document .git/modules

2013-06-09 13:45:32 -07:00

gitrevisions.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

gittutorial-2.txt

The name of the hash function is "SHA-1", not "SHA1"

2013-04-15 11:08:37 -07:00

gittutorial.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

gitweb.conf.txt

gitweb: Add a feature for adding more branch refs

2013-12-12 12:37:37 -08:00

gitweb.txt

typofix: documentation

2013-07-22 16:06:48 -07:00

gitworkflows.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

glossary-content.txt

Support pathspec magic :(exclude) and its short form :!

2013-12-06 13:00:39 -08:00

howto-index.sh

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

i18n.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

install-doc-quick.sh

docs: Update install-doc-quick

2011-11-08 13:37:10 -08:00

install-webdoc.sh

install-webdoc: keep installed RelNotes-*.txt

2010-09-09 16:17:59 -07:00

line-range-format.txt

line-range: teach -L^:RE to search from start of file

2013-08-06 14:48:02 -07:00

mailmap.txt

Merge branch 'jk/mailmap-from-blob'

2013-01-05 23:41:42 -08:00

Makefile

user-manual: improve html and pdf formatting

2014-01-06 11:30:17 -08:00

manpage-1.72.xsl

…

manpage-base-url.xsl.in

Documentation: Avoid use of xmlto --stringparam

2009-12-05 10:03:49 -08:00

manpage-base.xsl

…

manpage-bold-literal.xsl

…

manpage-normal.xsl

…

manpage-quote-apos.xsl

…

manpage-suppress-sp.xsl

…

merge-config.txt

Merge branch 'da/mergetool-docs'

2013-02-07 14:42:16 -08:00

merge-options.txt

Merge branch 'jc/maint-pull-docfix'

2014-01-27 10:44:00 -08:00

merge-strategies.txt

Documentation: document pitfalls with 3-way merge

2013-12-09 13:42:40 -08:00

pretty-formats.txt

Merge branch 'nd/pretty-formats'

2013-04-23 11:22:48 -07:00

pretty-options.txt

log doc: the argument to --encoding is not optional

2013-08-05 08:19:47 -07:00

pull-fetch-param.txt

fetch: opportunistically update tracking refs

2013-05-12 15:23:48 -07:00

rev-list-options.txt

Merge branch 'jj/rev-list-options-doc' into maint

2013-12-17 11:34:41 -08:00

revisions.txt

Documentation: @{-N} can refer to a commit

2014-01-21 13:50:00 -08:00

sequencer.txt

revert: introduce --abort to cancel a failed cherry-pick

2011-11-22 18:16:59 -08:00

SubmittingPatches

Merge branch 'rs/doc-submitting-patches' into maint

2013-12-17 11:38:23 -08:00

urls-remotes.txt

Documentation: the name of the system is 'Git', not 'git'

2013-02-01 13:53:33 -08:00

urls.txt

Merge branch 'ft/doc-git-transport' into maint

2013-07-21 22:51:24 -07:00

user-manual.conf

docs: monospace listings in docbook output

2012-08-07 14:30:52 -07:00

user-manual.txt

user-manual: improve html and pdf formatting

2014-01-06 11:30:17 -08:00