Since nobody said anything and include already contained several similar "non-includes", I just went for status quo by putting the mentioned files in include as well.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2002-09-17 01:45: Subject: pike -x module
I don't know if you've done anything with this, but I would tend to not put non-includes in the include directory. lib/tools is probably a better place, from my way of thinking... it will be very nice to be able to make modules without having to keep the entire source tree around...
/ hww3