change auto-documentation stamp file name