javajavajava/project.ptx at master · RunestoneInteractive/javajavajava · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
<?xml version="1.0" encoding="utf-8"?>
<!-- This file, the project manifest, provides the overall configuration for your PreTeXt project. To edit the content of your document, open `source/main.ptx`. See https://pretextbook.org/doc/guide/html/processing-CLI.html#cli-project-manifest. -->
<project ptx-version="2">
  <targets>
    <target name="web"
	    format="html"
	    source="../pretext/main.ptx"
	    publication="../pretext/publication-rs-for-all.ptx"
	    output-dir="build/html">
	    <stringparams html.css.extra="external/custom-css.css"
			  html.js.extra="external/custom-js.js" />
    </target>
    <target name="runestone"
	    format="html"
	    source="../pretext/main.ptx"
	    publication="../pretext/publication-rs-academy.ptx"
	    output-dir="published/javajavajava">
    </target>

  </targets>
</project>