[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.2-1+dfsg-2-4-gd43a92c
Stephane Glondu
steph at glondu.net
Sat Jul 4 12:14:05 UTC 2009
The following commit has been merged in the master branch:
commit 1769cbaddea77112dd6f336316d8eb9a0945a1e6
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Jul 4 11:58:21 2009 +0200
Keep some file from doc/common/styles/html/simple
They are needed for HTML API doc generation.
diff --git a/debian/purify_tarball b/debian/purify_tarball
index a453db0..f1d7996 100755
--- a/debian/purify_tarball
+++ b/debian/purify_tarball
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
set -e
@@ -12,7 +12,10 @@ cd $WORKDIR
tar zxf $ORIGFILE
+mv coq-$VERSION/doc/common/styles/html/simple/{style.css,header.html,footer.html} coq-$VERSION
rm -rf coq-$VERSION/doc/common
+mkdir -p coq-$VERSION/doc/common/styles/html/simple
+mv coq-$VERSION/{style.css,header.html,footer.html} coq-$VERSION/doc/common/styles/html/simple
rm -rf coq-$VERSION/doc/faq
rm -rf coq-$VERSION/doc/RecTutorial
rm -rf coq-$VERSION/doc/refman
--
coq packaging
More information about the Pkg-ocaml-maint-commits
mailing list