From b3b251bd618df0223f188a6db6d44ae05973df37 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 30 Nov 2023 10:50:59 +0100
Subject: [PATCH] Update doc/clean

---
 doc/clean | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/clean b/doc/clean
index 690ce8ea7..11ec4af09 100755
--- a/doc/clean
+++ b/doc/clean
@@ -1,4 +1,6 @@
 #!/usr/bin/env bash
 
 rm -f *.{aux,lab,log,dvi,ps,pdf,bbl,ilg,ind,idx,out,html,tex,pnr,txt,blg,toc,six,brf}
-
+rm -rf *.css
+rm -rf *.js
+rm -f _*.xml