--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ploki/doc/ploki-ins.txt	Fri Dec 20 22:04:38 2013 +0000
@@ -0,0 +1,9 @@
+                      ### THE PLOKI LANGUAGE: INSERT ###
+
+
+The "INSERT( DA) file HERE" directive includes the contents of "file"
+verbatim at that point in the program. If " DA" is specified, "file" is
+taken to be an absolute filename; otherwise, it is searched for in the
+INC_PREFIX_LIST specified in config.h at compile time. On MS Windows and
+Unix-like systems it defaults to the directory where the program is located;
+otherwise it's empty.