Значение слова ПРАВКА в Толковом словаре русского языка Ушакова

Что такое ПРАВКА

правки, ж. (спец.). Действие по глаг. править в 3, 4 и 5 знач. Правка рукописи. Правка набора. Правка бритвы.

Ушаков. Толковый словарь русского языка Ушакова.