• Paul Eggert's avatar
    Fix extraclean in a different way for info+lib/sys · 8bccbb98
    Paul Eggert authored
    * Makefile.in (extraclean):
    * lib/Makefile.in (extraclean): Use rmdir but suppress any
    error indication.  That way, ‘make extraclean’ will remove the
    directory if it’s empty, and successfully do nothing otherwise.
    8bccbb98