行政规范性文件是指行政机关制定的公文。