diff --git a/.boring b/.boring index 7f623d66d2f8717369db8233dbd94e5e0fa047c9..366517c9e474a494a124bba79aa3c155ce027049 100644 --- a/.boring +++ b/.boring @@ -8,3 +8,7 @@ \.x86f$ \.fas$ \.lib$ +^docs/html($|/) +^docs/pdf($|/) +^{arch}$ +(^|/).arch-ids($|/)