Document compile-time behavior.
Document compile-time behavior.

2015-10-18  Didier Verna  <didier@didierverna.net>

	* doc/user.texi (Full Source): Slightly reword reference to demo
	files.
	(Compile or Run Time): New node.

didierverna/focus,didierverna/focus