messed up the filename accidentyl

the publish script is not working correctly. have to fix it.