fixed duplicate bug in doc
added helptags file to gitignore