* doc/Makefile.am (install-doc-remote): New target. * Makefile.am (install-doc-remote): New target, delegating to doc/Makefile. --- ChangeLog | 8 ++++++++ Makefile.am | 3 +++ doc/Makefile.am | 8 ++++++++ 3 files changed, 19 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog index 9dbedf0..26d15d2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,13 @@ 2013-01-07 Roland Levillain roland@lrde.epita.fr

+ Add a target to install Nolimips' documentation on the Web. + + * doc/Makefile.am (install-doc-remote): New target. + * Makefile.am (install-doc-remote): New target, delegating to + doc/Makefile. + +2013-01-07 Roland Levillain roland@lrde.epita.fr + Change Nolimips' bug report e-mail address.

* configure.ac: Set it to projects@lrde.epita.fr. diff --git a/Makefile.am b/Makefile.am index 4adc784..3916f91 100644 --- a/Makefile.am +++ b/Makefile.am @@ -7,3 +7,6 @@ EXTRA_DIST = \ gnulib.modules \ dev/nolimips.xml \ dev/nolimips.py + +install-doc-remote: + cd doc && $(MAKE) $(AM_MAKEFLAGS) $@ diff --git a/doc/Makefile.am b/doc/Makefile.am index 10e8658..3badbb1 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -24,3 +24,11 @@ nolimips_TEXINFOS = \ macros.texi \ fdl.texi \ $(FROM_INST_SET_TEXI_GEN_PY) inst-set.texi.stamp + +# Installing the documentation for students. +install_doc_user = akim +install_doc_host = www.lrde.epita.fr +install_doc_dir = www/ccmp/doc +.PHONY: install-doc-remote +install-doc-remote: nolimips.html + scp $^ "$(install_doc_user)@$(install_doc_host):$(install_doc_dir)"