dot/profile: Use control sequences rather than overstriking in man pages.

The traditional overstriking is ambiguous regarding `_^H_', which may be
underlined (italics) or bold.  Pages like less(1) typically guess based
on the surrounding context, but this seriously screws up some fiddly
cases which switch between bold and underlining exactly at the boundary
between a non-underscore and an underscore.

The main Groff documentation is fairly adamant that this is the default
behaviour, but the Debian `/etc/groff/{man,mdoc}.local' files override
this unless `GROFF_SGR' is set nonempty in the environment.  This is
mentioned in the `changelog.Debian' file and nowhere else.

diff --git a/dot/profile b/dot/profile
index 3962b2bfbee38c3acb4886b9cd7aa99786735b1b..baa996d6ee584b0dc24348ed9557ed3132bcbf12 100644 (file)
--- a/dot/profile
+++ b/dot/profile
@@ -196,6 +196,9 @@ if __mdw_programp global; then
   export LESSGLOBALTAGS
 fi
 
+## Get Debian `groff' to produce control sequences rather than overstriking.
+GROFF_SGR=t; export GROFF_SGR
+
 ###--------------------------------------------------------------------------
 ### Miscellaneous things.