make man changed

This commit is contained in:
mrdotx 2022-07-04 22:02:23 +02:00
parent 3653aafc00
commit cf3f727b65
No known key found for this signature in database
GPG Key ID: 433F70E636E6EB87
2 changed files with 1 additions and 3 deletions

View File

@ -40,7 +40,7 @@ clean:
man: pinentry-dmenu.1 man: pinentry-dmenu.1
rm -f pinentry-dmenu.1 rm -f pinentry-dmenu.1
pandoc -s --to man pinentry-dmenu.1.md -o pinentry-dmenu.1 pandoc -s --to man pinentry-dmenu.1.md -o pinentry-dmenu.1
sed -i '1,2d' pinentry-dmenu.1 sed -i '/^.\\\"/d' pinentry-dmenu.1
dist: clean dist: clean
@echo creating dist tarball @echo creating dist tarball

View File

@ -1,5 +1,3 @@
.\" Define V font for inline verbatim, using C font in formats
.\" that render this, and otherwise B font.
.ie "\f[CB]x\f[]"x" \{\ .ie "\f[CB]x\f[]"x" \{\
. ftr V B . ftr V B
. ftr VI BI . ftr VI BI