946b7fa17e
misuse of /usr/src/include headers. This REALLY fixes the 20010919 src/UPDATING entry. With this patch the 4.2-RELEASE box was able to survive the 5.0-CURRENT "make world". Beat over the head with this patch: obrien