equal
deleted
inserted
replaced
520 |
520 |
521 ;; ====================================================================== |
521 ;; ====================================================================== |
522 ;; Info. |
522 ;; Info. |
523 |
523 |
524 ;; Because of Debian policy documentation covered by FDL license with invariant sections not allowed in packet |
524 ;; Because of Debian policy documentation covered by FDL license with invariant sections not allowed in packet |
525 ;; repository tree. So it must be installed manually. My usually configuration install user local software |
525 ;; repository tree. So it must be installed manually. My usual configuration is install user local software |
526 ;; into ~/usr DISTDIR. |
526 ;; into ~/usr DISTDIR. |
527 (unless (getenv "INFOPATH") |
527 (unless (getenv "INFOPATH") |
528 (setenv "INFOPATH" "~/usr/share/info:")) |
528 (setenv "INFOPATH" "~/usr/share/info:")) |
529 |
529 |
530 ;; ====================================================================== |
530 ;; ====================================================================== |