НАПИЛЬНИК, -а, м. Инструмент в виде стального бруска с насечкой, насаженного на рукоятку, предназначенный для сглаживания и обтачивания поверхности различных материалов, а также для заточки различных инструментов. Кроме упомянутых инструментов, в отряде набралось еще много походного инвентаря, как-то: котлы, чайники, топоры, поперечная пила, саперная лопата, паяльник, струг, напильники и пр. (Арс.).