id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc 262,FIX: Makefile naming in flex_extract v7.1 in documentation,anphi,anphi,"The on-line documentation still contains the old makefile names. ",Task,closed,major,flex_extract_v7.1.1,flex_extract,flex_extract_v7.1,fixed,,