Fix last change for docs search procedure (suggested by Dave Love).
[emacs.git] / info / 
tree181f25f78a729f22b51a1593baf3871f450ad9ed
drwxr-xr-x   ..
-rw-r--r-- 845 .gitignore
-rw-r--r-- 17992 COPYING
-rw-r--r-- 2049 dir