Fix installation of the info file.
[org-mode.git] / UTILITIES / 
treebc016052b7381fac07350ab2c436dea3f4976e2c
drwxr-xr-x   ..
-rwxr-xr-x 1651 fake_change_log.pl
-rwxr-xr-x 644 gplmanual.pl
-rwxr-xr-x 1504 set-version.pl