annotate ploki/doc/ploki-ins.txt @ 4220:bd96abc7003f

<mauke> cd ploki && make
author HackBot
date Fri, 20 Dec 2013 22:11:09 +0000
parents 7a6bc310b732
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4215
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
1 ### THE PLOKI LANGUAGE: INSERT ###
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
2
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
3
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
4 The "INSERT( DA) file HERE" directive includes the contents of "file"
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
5 verbatim at that point in the program. If " DA" is specified, "file" is
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
6 taken to be an absolute filename; otherwise, it is searched for in the
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
7 INC_PREFIX_LIST specified in config.h at compile time. On MS Windows and
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
8 Unix-like systems it defaults to the directory where the program is located;
7a6bc310b732 <shachaf> tar xjf ploki-0.6.5.1.tar.bz2
HackBot
parents:
diff changeset
9 otherwise it's empty.