Ah. That one is from the bit where all directories to be rmdir'd on uninstall are generated. At the beginning, ${UNINSTALL}.dir0 contains the basic directories; the loop generates the parent directories of them and only keeps those that still have 'armagetronad' in their name. It adds the parent directories to the list of directories (${UNINSTALL}.dir) and repeats until no more relevant parent directories can be found.
Ah. That one is from the bit where all directories to be rmdir'd on uninstall are generated. At the beginning, ${UNINSTALL}.dir0 contains the basic directories; the loop generates the parent directories of them and only keeps those that still have 'armagetronad' in their name. It adds the parent directories to the list of directories (${UNINSTALL}.dir) and repeats until no more relevant parent directories can be found.