[Texmacs-dev] Remove src/misc/admin/admin.makefile from repo?

[Norbert Nemec]

Hi there,

is there a good reason why src/misc/admin/admin.makefile is part of the 
svn repository? The file is created automatically, so there is no need 
to have in the repo. Even more - the file is overwritten when I compile 
the code which always upsets my source control (I use git-svn). Simply 
removing the file from the repo would be the best solution in my opinion.

Greetings,
Norbert