[Bug libstdc++/48382] ctype_noninline.h should not be installed

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48382

--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-04-01 
10:32:58 UTC ---
You are welcome. Indeed, this is also the right time for rather straightforward
clean-ups.