Mercurial > hg > truffle
annotate doc/design/.texlipse @ 2667:c4922e69711e
fixed link in domake script
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Thu, 12 May 2011 11:17:31 +0200 |
parents | 765dd54244a6 |
children |
rev | line source |
---|---|
2561
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
1 #TeXlipse project settings |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
2 #Fri Apr 29 14:13:11 CEST 2011 |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
3 builderNum=2 |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
4 outputDir= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
5 makeIndSty= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
6 bibrefDir= |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
7 outputFormat=pdf |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
8 tempDir=tmp |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
9 mainTexFile=graal_compiler.tex |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
10 outputFile=graal_compiler.pdf |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
11 langSpell=en |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
12 markDer=true |
765dd54244a6
Updated doc. Added Texclipse project.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff
changeset
|
13 srcDir= |