[Projects] nolimips: branch master updated: nolimips-0.9-38-gacf5a88

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 "Nolimips, a MIPS simulator with infinitely many registers". The branch master has been updated via acf5a8802738a004c405df71f1a2ed28852a1912 (commit) via 16888ce5bd35f27709bec4b538be2f96b692ab16 (commit) via 62e7383bc2f899af620ce28e3281f26576bfec9f (commit) via 40a51ada687f5387a8ec6725dea6de47c84fb47e (commit) via c3094a74e1933f703f0e8c551a25c86cc6b69f30 (commit) from 1fe6133cad03f44158b790874205b3913ccb030b (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 ----------------------------------------------------------------- acf5a88 s/Benoit/Benoît/. 16888ce Document Nolimips' missing options. 62e7383 Add missing URLs in the documentation. 40a51ad Also install the PDF documentation on the Web. c3094a7 Update doc remote installation settings w.r.t. the new location. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 2 +- doc/Makefile.am | 8 ++++---- doc/nolimips.texi | 38 +++++++++++++++++++++++++++++++------- 3 files changed, 36 insertions(+), 12 deletions(-) hooks/post-receive -- Nolimips, a MIPS simulator with infinitely many registers