LaTeX (reference) in projects: seL4-master

Project(s)

Full Search
Definition
Symbol
File Path
Type

Searched refs:LaTeX (Results 1 – 4 of 4) sorted by relevance

/seL4-master/manual/
A D	Makefile	25 LaTeX = ${LaTeXEnv} pdflatex -interaction=nonstopmode macro 276 $(LaTeX) $$i.tex >>.log; \ 298 ${Q}$(LaTeX) $< >.log \|\| if egrep -q $(Error) $.log ; then cat .log; rm $@; false ; fi 299 …==> BibTex" && $(BibTeX) $ > /dev/null && echo "====> LaTeX BibTeX pass" && $(LaTeX) >.log $< ; fi 300 ${Q}if egrep -q $(Rerun) $.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi 301 ${Q}if egrep -q $(Rerun) $.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi 302 ${Q}if egrep -q $(Rerun) $*.log ; then echo "====> LaTeX rerun" && $(LaTeX) >.log $<; fi
A D	export.bst	`15 %% the LaTeX Project Public License, either version 1.3 of this license 21 %% and version 1.3 or later is part of all distributions of LaTeX`
A D	Doxyfile	370 # instead of on a separate page (for HTML and Man pages) or section (for LaTeX 384 # Man pages) or section (for LaTeX and RTF). 699 # For LaTeX the style of the bibliography can be controlled using 1452 # Enable the USE_MATHJAX option to render LaTeX formulas using MathJax (see 1454 # instead of using pre-rendered bitmaps. Use this if you do not have LaTeX 1588 # Configuration options related to the LaTeX output 1616 # index for LaTeX. 1641 # by its name or with the correct syntax as to be used with the LaTeX 1697 # If the PDF_HYPERLINKS tag is set to YES, the LaTeX that is generated is 1715 # command to the generated LaTeX files. This will instruct LaTeX to keep running [all …]
/seL4-master/LICENSES/
A D	LPPL-1.3c.txt	1 The LaTeX Project Public License 14 The LaTeX Project Public License (LPPL) is the primary license under which 15 the LaTeX kernel and the base LaTeX packages are distributed. 19 your work is TeX-related (such as a LaTeX package), but it is written in such 34 in the base LaTeX distribution for suggestions. 75 is a `LaTeX-Format' or in the case of files belonging to the `LaTeX-format' 234 your intention to take over maintenance. (If the Work is a LaTeX work, this 285 Even if your work is unrelated to LaTeX, the discussion in `modguide.tex' 325 % conditions of the LaTeX Project Public License, either version 1.3 333 % and version 1.3 or later is part of all distributions of LaTeX [all …]

Completed in 8 milliseconds