chiark
/
gitweb
/
~mdw
/
tripe
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
common/defs.man: Set the font for the running headers as well as the body.
[tripe]
/
common
/
defs.man
diff --git
a/common/defs.man
b/common/defs.man
index 161f4e3b350193c01e9075a619eae573285cffb7..74752a9fbf74b47589e25b9b59781b372922d580 100644
(file)
--- a/
common/defs.man
+++ b/
common/defs.man
@@
-32,6
+32,9
@@
. ds se \d\s0
. if \n(.g \{\
. fam P
+. ev an-1
+. fam P
+. ev
. \}
.\}
.el \{\