K 10
svn:author
V 5
adamw
K 8
svn:date
V 27
2014-09-06T15:10:18.102571Z
K 7
svn:log
V 167
Fix build by removing texlive from USE_TEX.

While here, just add install_docs to INSTALL_TARGET rather than
calling a separate ${MAKE} without MAKE_ENV or MAKE_ARGS.

END