* 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(a)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(a)lrde.epita.fr>
+
Change Nolimips' bug report e-mail address.
* configure.ac: Set it to projects(a)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)"
--
1.7.2.5