1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

termite: use docbook man page reference

This commit is contained in:
Robert Helgesson 2018-06-13 23:56:25 +02:00
parent ad634c0a94
commit 2e9fbbc978
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -150,7 +150,11 @@ in
type = types.nullOr types.bool;
description = ''
Emit escape sequences for extra keys,
like the modifyOtherKeys resource for xterm(1).
like the modifyOtherKeys resource for
<citerefentry>
<refentrytitle>xterm</refentrytitle>
<manvolnum>1</manvolnum>
</citerefentry>.
'';
};