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