From 1bbdaf246af516c471b1d457ef309387a5f4e666 Mon Sep 17 00:00:00 2001 From: "Marei (peiTeX)" Date: Fri, 23 Jan 2026 10:35:12 +0100 Subject: [PATCH] adjust rwth-ci recipe to match the new package structure --- tdsutil/recipes/rwth-ci.ini | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) 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