Replace version markers.
This commit is contained in:
parent
9cf2e7fd09
commit
9b31be634b
@ -64,6 +64,13 @@ Documentation for %{name}.
|
|||||||
# The opam file has not been updated since the great renumbering.
|
# The opam file has not been updated since the great renumbering.
|
||||||
sed -i 's/113\.33\.00/0.13.0/' odoc.opam
|
sed -i 's/113\.33\.00/0.13.0/' odoc.opam
|
||||||
|
|
||||||
|
# Replace version markers
|
||||||
|
for fil in src/html/tree.ml $(find test -name index.html -o -name mld.html); do
|
||||||
|
sed -i.orig 's,%%%%VERSION%%%%,%{version},' $fil
|
||||||
|
touch -r $fil.orig $fil
|
||||||
|
rm $fil.orig
|
||||||
|
done
|
||||||
|
|
||||||
%build
|
%build
|
||||||
dune build %{?_smp_mflags}
|
dune build %{?_smp_mflags}
|
||||||
dune build %{?_smp_mflags} @doc
|
dune build %{?_smp_mflags} @doc
|
||||||
|
Loading…
Reference in New Issue
Block a user