diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-28 13:20:11 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-28 13:20:13 +0100 |
| commit | 04e553f13c747046ebae50c1920185f4c3ae8e2b (patch) | |
| tree | 6da29c13d536a03a70326e7d3fea11a4754b1096 /dgit.1 | |
| parent | 152c206f3c7b6ebe85b4941d89d7bb8417d031b8 (diff) | |
dgit(1): Fix a wrong reference to \fp, which should be \fP.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit.1')
| -rw-r--r-- | dgit.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -14,7 +14,7 @@ dgit \- git integration with the Debian archive .br .B dgit [\fIdgit\-opts\fP] \fBbuild\fP|\fBsbuild\fP|\fBbuild-source\fP -[\fIbuild\-opts\fp] +[\fIbuild\-opts\fP] .br .B dgit [\fIdgit\-opts\fP] \fBpush\fP|\fBpush-source\fP [\fIdgit\-opts\fP] |