diff --git a/.gitignore b/.gitignore index 4a09a30..b7387b2 100644 --- a/.gitignore +++ b/.gitignore @@ -16,33 +16,13 @@ *.sdx *.toc *.sty -#autoconf/Make.common -#autom4te.cache -#bsysmanual -#covers -#config.* -#images/pdf -#images/png -#images/svg -#images/eps -#manuals/*/*/version.tex -manuals/*/utility/utilityi* -manuals/*/misc/misci* -manuals/*/console/consolei* -manuals/*/developers/developersi* -#manuals/*/images -manuals/*/main/maini* -manuals/*/www-* -manuals/*/console/console.pdf -manuals/*/console/console/ +*.4ct +*.4tc +*.idv +*.lg +*.tmp +*.xref manuals/*/developers/developers.pdf -manuals/*/developers/developers/ +manuals/*/main/main.css +manuals/*/main/main.html manuals/*/main/main.pdf -manuals/*/main/main/ -manuals/*/misc/misc.pdf -manuals/*/misc/misc/ -manuals/*/problems/problems.pdf -manuals/*/problems/problems/ -manuals/*/utility/utility.pdf -manuals/*/utility/utility/ -tools/wholemenu_*