Updated build script to reflect the changes in directory layout on master branch.

diff --git a/mk.sh b/mk.sh
index e21a1e00ef966a78baad304b910e0a44787dc1ad..076cb5ba344d56b9b0b68525dec3d05517a3293a 100755 (executable)
--- a/mk.sh
+++ b/mk.sh
@@ -1,12 +1,12 @@
-#!/bin/sh
+#!/bin/sh -x
 
 # sync with master (pull manpage files)
 remote=`git config branch.master.remote` \
     && git fetch $remote \
-    && { git archive --remote=. remotes/$remote/master re2c/doc/manual \
-        | tar -C src/ --strip-components=2 -xpf -; } \
-    && { git archive --remote=. remotes/$remote/master re2c/examples/*.re \
-        | tar -C src/ --strip-components=1 -xpf -; }
+    && { git archive --remote=. remotes/$remote/master doc/manual \
+        | tar -C src/ --strip-components=1 -xpf -; } \
+    && { git archive --remote=. remotes/$remote/master examples/*.re \
+        | tar -C src/ --strip-components=0 -xpf -; }
 
 sphinx-build -b html src obj