No hace falta. El microcemento incrementa el grosor de la superficie entre 1 y 3 mm, mientras que, por lo general, las puertas se instalan con una holgura de aproximadamente 5 mm respecto al suelo. Este margen suele ser suficiente para no tener que recortarlas.
