Removed spurious comment (obsoleted by ;;;###autoload).
tree2b1128d1cd3733cf8d347b5f6bca7ff996381bf3
-rw-r--r-- 4561 GETTING.GNU.SOFTWARE
-rw-r--r-- 21083 Makefile.in
-rw-r--r-- 32770 PROBLEMS
-rwxr-xr-x 4767 build-ins.in
-rwxr-xr-x 13688 config.sub
-rwxr-xr-x 26688 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
-rwxr-xr-x 9831 make-dist
drwxr-xr-x - src