Merge remote-tracking branch 'origin/master' into markdown

This commit is contained in:
Eelco Dolstra 2020-09-01 09:48:08 +02:00
commit 50f46836f3
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE

View file

@ -454,6 +454,8 @@
shellHook =
''
PATH=$prefix/bin:$PATH
unset PYTHONPATH
export MANPATH=$out/share/man:$MANPATH
'';
});