Update doc/clean

gap-packages · Nov 30, 2023 · b3b251b · b3b251b
1 parent 1af7a3e
commit b3b251b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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