[project @ 2003-01-13 13:20:37 by simonpj]

[project @ 2003-01-13 13:20:37 by simonpj]
--------------------------------
	Don't export the inlining for a foreign
	import that has a #include directive
	--------------------------------

Reason for this change: if the inlining is imported into another
module, the latter may not have the right #include directives.

Also add notes to the documentation to explain the issues.