diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/common.sh b/Master/common.sh index 79a42b48619..316771779c0 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -1301,6 +1301,9 @@ common_end_install() echo echo "Add $bindir" >&2 echo " to your PATH for current and future sessions." >&2 + echo + echo "Add $TEXDIR/texmf/doc/man to MANPATH." >&2 + echo "Add $TEXDIR/texmf/doc/info to INFOPATH." >&2 fi $skip_systemstuff || greetings |