diff --git a/thys/etc/.sitegen-ignore b/thys/etc/.sitegen-ignore
new file mode 100644