From 7d930218398899f5ffde2c15891b6e642826734f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Adjemian=20=28Charybdis=29?= Date: Tue, 19 Feb 2019 11:24:18 +0100 Subject: [PATCH] Added rule for pushing reference manual on remote server. --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 234f27f19..b5d7cd0c1 100644 --- a/Makefile +++ b/Makefile @@ -32,3 +32,6 @@ pdf: src/build/latex/dynare.pdf src/build/latex/dynare.pdf: $(SRC) src/source/conf.py make -C src latexpdf + +push: html + rsync -avz src/build/html/* $(TARGET)