# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1694205775 -3600
# Node ID efaa10c1e9eadcacc8dd20279cbd78ada3576ba5
# Parent  dfb88dee52b89bb3279b7d5311a70e6408454aae
MANPATH (?)

diff -r dfb88dee52b8 -r efaa10c1e9ea .bash_profile
--- a/.bash_profile	Fri Sep 08 21:42:12 2023 +0100
+++ b/.bash_profile	Fri Sep 08 21:42:55 2023 +0100
@@ -7,3 +7,4 @@
 
 # User specific environment and startup programs
 
+export MANPATH=:/usr/share/man
\ No newline at end of file