# `make distclean` deletes files with size 0. This text is to avoid that.