Remove a command no more needed in gcc
treef954347985f0c87cccc63151cdced0272d7ff9a2
drwxr-xr-x - BOOK
-rw-r--r-- 1462 OLD_BRANCHES_AND_TAGS
drwxr-xr-x - editor-manual