# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1691513162 -3600
# Node ID 12776abdbc2b438039c5176aade7144e234b927c
# Parent  0d2701901fed841556f072e63cfae1bdda21b7cc
get man -k working

diff -r 0d2701901fed -r 12776abdbc2b .bash_profile
--- a/.bash_profile	Wed Jul 26 18:42:19 2023 +0100
+++ b/.bash_profile	Tue Aug 08 17:46:02 2023 +0100
@@ -7,3 +7,4 @@
 
 # User specific environment and startup programs
 
+unset MANPATH