diff options
| author | Werner Koch <wk@gnupg.org> | 2013-04-18 14:40:43 +0200 |
|---|---|---|
| committer | Werner Koch <wk@gnupg.org> | 2013-04-19 12:01:22 +0200 |
| commit | ff6115227a1ced14e2fb3d160a12181b9dfbc502 (patch) | |
| tree | 728c7fefb219c6e358ed24aada117e6fd33ce9bd /doc/gpg.texi | |
| parent | Add missing file. (diff) | |
| download | gnupg2-ff6115227a1ced14e2fb3d160a12181b9dfbc502.tar.xz gnupg2-ff6115227a1ced14e2fb3d160a12181b9dfbc502.zip | |
doc: Formatting fixes.
* doc/Makefile.am (.fig.jpg): Correct to use -L jpeg.
* doc/gpg.texi: Fix cross reference for --options.
* doc/gpgsm.texi: Likewise.
* doc/gpl.texi: Fix enumerate and re-indent examples.
--
Reported-by: Ian Abbott
Signed-off-by: Werner Koch <wk@gnupg.org>
Diffstat (limited to 'doc/gpg.texi')
| -rw-r--r-- | doc/gpg.texi | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/gpg.texi b/doc/gpg.texi index 71941127d..cec458158 100644 --- a/doc/gpg.texi +++ b/doc/gpg.texi @@ -1293,9 +1293,7 @@ encoded in the character set as specified by @option{--display-charset}. These options affect all following arguments. Both options may be used multiple times. -@ifset gpgone -@anchor{option --options} -@end ifset +@anchor{gpg-option --options} @item --options @code{file} @opindex options Read options from @code{file} and do not try to read them from the @@ -2929,7 +2927,7 @@ current home directory (@pxref{option --homedir}). This is the standard configuration file read by @command{@gpgname} on startup. It may contain any valid long option; the leading two dashes may not be entered and the option may not be abbreviated. This default - name may be changed on the command line (@pxref{option --options}). + name may be changed on the command line (@pxref{gpg-option --options}). You should backup this file. @end table |