aboutsummaryrefslogtreecommitdiff
path: root/da_DK.ISO8859-1/articles/pxe/article.xml
diff options
context:
space:
mode:
authorWolfram Schneider <wosch@FreeBSD.org>2022-09-28 06:09:26 +0000
committerWolfram Schneider <wosch@FreeBSD.org>2022-09-28 06:09:26 +0000
commitf42891ebcfffa433f1826a102014e68a284f1c0a (patch)
tree027622be6ccd14ca735d2ef2f8fe8b6a4f52883c /da_DK.ISO8859-1/articles/pxe/article.xml
parent252ecbe0fae28eb5ded8ad0a26e869ee96412344 (diff)
downloaddoc-main.tar.gz
doc-main.zip
Give base manual page higher priority than ports manual pagesHEADmain
First look in the FreeBSD base manual pages (aka /usr/share/man) and then in FreeBSD ports (aka /usr/local/man). This avoids confusion when manual pages have have the same name, but are in different sections. In this case, a ports manual pages would win because of the higher section priority. Now, searching for "socket" will always show socket(2) from the base system and not socket(1) from ports PR: 264054 Reported by: grog
Diffstat (limited to 'da_DK.ISO8859-1/articles/pxe/article.xml')
0 files changed, 0 insertions, 0 deletions