[PD-dev] where is flext.h?

hi just a minor question: when installing flext as suggested, the header files are copied into /usr/local/include/flext/ (and i guess /usr/include/flext/ if i would choose that)

however, all the flext externals seem to include <flext.h>, which makes a "-I/usr/local/include/flext" necessary. i do not understand the reasoning behind this, as i would expect to include <flext/flext.h>.

wouldn't it be nice to not have to change the standard include path? i prefer the separate directory, but for compatibility one (thomas) could make a /usr/local/include/flext.h which in turn includes <flext/flext.h>.

(alternatively one could make a flext-config script which returns the correct path, but i don't like that)

mfg.adsr. IOhannes