Install info: remove 'dev install' and top_link 'target'