diff options
| author | Francis Daly <francis@daoine.org> | 2006-03-22 12:53:57 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-03-22 22:06:19 +0300 |
| commit | b0d08a504bee17dfc46f761e166ff2c20c59a91a (patch) | |
| tree | 0ecf7ee4508d8eb21a4051d6a923a6f95e4824a0 /Documentation/git-grep.txt | |
| parent | 3103cf9e1e09b0045a60542f24a2a1e4ed7b1237 (diff) | |
Format tweaks for asciidoc.
Some documentation "options" were followed by independent preformatted
paragraphs. Now they are associated plain text paragraphs. The
difference is clear in the generated html.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-grep.txt')
| -rw-r--r-- | Documentation/git-grep.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Documentation/git-grep.txt b/Documentation/git-grep.txt index fbd2394481..d55456ae93 100644 --- a/Documentation/git-grep.txt +++ b/Documentation/git-grep.txt @@ -24,13 +24,13 @@ OPTIONS <option>...:: Either an option to pass to `grep` or `git-ls-files`. - - The following are the specific `git-ls-files` options - that may be given: `-o`, `--cached`, `--deleted`, `--others`, - `--killed`, `--ignored`, `--modified`, `--exclude=*`, - `--exclude-from=*`, and `--exclude-per-directory=*`. - - All other options will be passed to `grep`. ++ +The following are the specific `git-ls-files` options +that may be given: `-o`, `--cached`, `--deleted`, `--others`, +`--killed`, `--ignored`, `--modified`, `--exclude=\*`, +`--exclude-from=\*`, and `--exclude-per-directory=\*`. ++ +All other options will be passed to `grep`. <pattern>:: The pattern to look for. The first non option is taken |