annotate src/ploki/doc/ploki-ins.txt @ 9220:52758a71887f

<shachaf> fetch http://mirror.keystealth.org/gnu/wdiff/wdiff-latest.tar.gz
author HackBot
date Mon, 10 Oct 2016 22:57:12 +0000
parents ac0403686959
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4223
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
1 ### THE PLOKI LANGUAGE: INSERT ###
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
2
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
3
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
4 The "INSERT( DA) file HERE" directive includes the contents of "file"
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
5 verbatim at that point in the program. If " DA" is specified, "file" is
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
6 taken to be an absolute filename; otherwise, it is searched for in the
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
7 INC_PREFIX_LIST specified in config.h at compile time. On MS Windows and
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
8 Unix-like systems it defaults to the directory where the program is located;
ac0403686959 <oerjan> rm -rf src/ploki; mv ploki src
HackBot
parents:
diff changeset
9 otherwise it's empty.