all: COPYING
copying: COPYING
