#
#
# patch "cmd.cc"
#  from [a83ee4728d826c6d482f14f9515e3338a5f53caf]
#    to [0f5fdfa249bf7ca8b19ee17beadd78ee72e6917e]
#
============================================================
--- cmd.cc	a83ee4728d826c6d482f14f9515e3338a5f53caf
+++ cmd.cc	0f5fdfa249bf7ca8b19ee17beadd78ee72e6917e
@@ -870,7 +870,7 @@ CMD_PRESET_OPTIONS(manpage)
 
 CMD_PRESET_OPTIONS(manpage)
 {
-    opts.formatted = isatty(STDOUT_FILENO);
+    opts.formatted = have_smart_terminal();
 }
 CMD_NO_WORKSPACE(manpage, "manpage", "", CMD_REF(informative), "",
     N_("Generate a manual page from monotone's command help"),