This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "HAVM, a Tree intermediate language interpreter". The branch master has been updated via e2a13182489b93904d3afbcfd057992a79154766 (commit) from d977ce7d257059323763675b1142eb50f8bb46a8 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- e2a1318 Also install the PDF documentation on the Web. ----------------------------------------------------------------------- Summary of changes: doc/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) hooks/post-receive -- HAVM, a Tree intermediate language interpreter