+1 -1

assets/article.xsl

Reviewed

··· 9 9 <xsl:include href="latex.xsl" /> 10 10 11 11 <xsl:template match="/"> 12 12 - <xsl:text>\input{../trees/an_article}</xsl:text> 12 12 + <xsl:text>\input{../tex/an_article}</xsl:text> 13 13 14 14 <xsl:apply-templates select="/f:tree/f:frontmatter" mode="top" /> 15 15

+1 -1

assets/book.xsl

Reviewed

··· 9 9 <xsl:include href="latex.xsl" /> 10 10 11 11 <xsl:template match="/"> 12 12 - <xsl:text>\input{../trees/a_book}</xsl:text> 12 12 + <xsl:text>\input{../tex/a_book}</xsl:text> 13 13 14 14 <xsl:apply-templates select="/f:tree/f:frontmatter" mode="top" /> 15 15

+1 -1

dev.sh

Reviewed

··· 5 5 rm -rf output 6 6 ./build.sh 7 7 8 8 - watchexec --quiet --no-vcs-ignore --project-origin . --on-busy-update queue --poll 500ms -e tree,tex,css,js,xsl -w trees -w assets --emit-events-to=stdio -- ./build_changed.sh & 8 8 + watchexec --quiet --no-vcs-ignore --project-origin . --on-busy-update queue --poll 500ms -e tree,tex,css,js,xsl -w trees -w assets -w tex --emit-events-to=stdio -- ./build_changed.sh & 9 9 10 10 http-server -p 1314 output & 11 11

+1 -1

trees/a_book.tex tex/a_book.tex

Reviewed

··· 1 1 \documentclass[a4paper]{book} 2 2 \usepackage{fontspec} % requires xelatex 3 3 - \input{../trees/preamble} 3 3 + \input{../tex/preamble}

+1 -1

trees/a_minipage.tex tex/a_minipage.tex

Reviewed

··· 1 1 - \input{../trees/preamble} 1 1 + \input{../tex/preamble} 2 2 \usepackage[a4paper,lmargin=1in,rmargin=1in,tmargin=0.82in,bmargin=1ex]{geometry} 3 3 4 4 % shims for macros useful only in LaTeX but not on forester web pages

+1 -1

trees/an_article.tex

Reviewed

··· 10 10 % \the\realoutput 11 11 % } 12 12 \usepackage{fontspec} % requires xelatex 13 13 - \input{../trees/preamble} 13 13 + \input{../tex/preamble} 14 14 % \newcommand{\frontmatter}{} 15 15 % \newcommand{\mainmatter}{} 16 16 % \newcommand{\backmatter}{}

+1 -1

trees/code.tex tex/code.tex

Reviewed

··· 8 8 \definecolor{sortcolor}{rgb}{0.1, 0.5, 0.1} % green 9 9 \definecolor{attributecolor}{rgb}{0.7, 0.1, 0.1} % red 10 10 11 11 - \def\lstlanguagefiles{../trees/lstlean.tex} 11 11 + \def\lstlanguagefiles{../tex/lstlean.tex} 12 12 % set default language 13 13 \lstset{language=lean}

+3 -3

trees/latex-preamble.tree

Reviewed

··· 3 3 4 4 \p{These LaTeX preambles are used by [[macros]].} 5 5 6 6 - \p{We place LaTeX preambles in the directory \code{trees} along with the other \code{.trees} files, but we need to refer to them \code{../trees/name.tex}, because LaTeX is running in \code{build} directory.} 6 6 + \p{We place LaTeX preambles in the directory \code{trees} along with the other \code{.trees} files, but we need to refer to them \code{../tex/name.tex}, because LaTeX is running in \code{build} directory.} 7 7 8 8 \p{We mark every preamble line with a comment \code{texstrip}, so that we can strip it out when we convert the whole page to an actual LaTeX document, or render individual snippets via MathJax etc.} 9 9 ··· 13 13 14 14 \def\latex-preamble/common{ 15 15 \startverb 16 16 - \input{../trees/preamble} % texstrip 16 16 + \input{../tex/preamble} % texstrip 17 17 \stopverb 18 18 } 19 19 ··· 21 21 22 22 \def\latex-preamble/minipage{ 23 23 \startverb 24 24 - \input{../trees/a_minipage} % texstrip 24 24 + \input{../tex/a_minipage} % texstrip 25 25 \stopverb 26 26 } 27 27

trees/lstlean.tex tex/lstlean.tex

Reviewed

+1 -1

trees/preamble.tex tex/preamble.tex

Reviewed

··· 250 250 251 251 \newcommand\pre{\mathtt{pre}} 252 252 253 253 - \input{../trees/code} 253 253 + \input{../tex/code}