* make-dist: There aren't any *.com files in lib-src anymore.
* make-dist: Copy texinfo.tex and texindex.c, rather than linking them; they're symlinks to other filesystems on the GNU machines.
Showing
Please register or sign in to comment