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.

ChangeLog

+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.

Makefile.am

@@ -7,3 +7,6 @@ EXTRA_DIST =					\
 	gnulib.modules				\
 	dev/nolimips.xml			\
 	dev/nolimips.py
+
+install-doc-remote:
+	cd doc && $(MAKE) $(AM_MAKEFLAGS) $@

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)"