[Bug c++/15815] Update #pragma interface and #pragma implementation documentation.

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-06-09 19:35 -------
Alright. Though the original claim of this PR was that we should first 
describe in the docs _how_ to use this feature, not how _not_ to use it, 
since apparently it has never really been described all that well. I can't 
really believe that it is widely used. 
 
W. 

-- 


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