diff .bash_profile @ 71:12776abdbc2b

get man -k working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 08 Aug 2023 17:46:02 +0100
parents bb5f1ea6cc5e
children
line wrap: on
line diff
--- 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