точильня в словарях и энциклопедиях
ТОЧИ́ЛЬНЯ, точильни, род. мн. точилен, жен. (спец.). Заведение для натачивания чего-нибудь.
ж. разг.
Мастерская для точки [точка V 1.] режущих и колющих инструментов или для изготовления чего-либо точением.