From a456d99cfe3a7321c27de3f5d7fc8cbbf5597bfe Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 24 Mar 2008 02:51:37 +0000
Subject: [PATCH] Switch the user manual to use the Sphinx documentation
 framework

---
 Makefile  | 3 ++-
 upload.py | 4 ++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 4b920c6a39..fac218f8e7 100644
--- a/Makefile
+++ b/Makefile
@@ -17,4 +17,5 @@ translations :
 resources:	
 	${PYTHON} resources.py
     
-    
+manual:
+	make -C src/libprs500/manual clean html
diff --git a/upload.py b/upload.py
index e4271dbb80..5fde108a1a 100644
--- a/upload.py
+++ b/upload.py
@@ -116,9 +116,9 @@ def upload_user_manual():
     cwd = os.getcwdu()
     os.chdir('src/libprs500/manual')
     try:
-        check_call('python make.py --validate')
+        check_call('make clean html')
         check_call('ssh castalia rm -rf %s/\\*'%USER_MANUAL)
-        check_call('scp -r build/* castalia:%s'%USER_MANUAL)
+        check_call('scp -r .build/* castalia:%s'%USER_MANUAL)
     finally:
         os.chdir(cwd)