2013-03-02-14.13.17: src/lib/make-library-glue/patchfile.pkg:  Tweaked to use new  psx::file_contents_are_identical.   sh/glue:  Tweaked to use new  psx::copy_file  to install in doc/tex .tex files from selected glue modules.