diff --git a/tdsutil/recipes/rwth-ci.ini b/tdsutil/recipes/rwth-ci.ini index c5fc1a4..81579e2 100644 --- a/tdsutil/recipes/rwth-ci.ini +++ b/tdsutil/recipes/rwth-ci.ini @@ -1,5 +1,8 @@ +[ins] + engine=pdflatex + options[]=--include-directory=tex + [patterns] - doc[]=doc/*.pdf - doc[]=examples + doc[]=doc/* tex[]=tex/* - \ No newline at end of file + ins[]=source/*.ins