Skip to content

Commit

Permalink
..
Browse files Browse the repository at this point in the history
  • Loading branch information
kilianc committed May 15, 2024
1 parent 02495cf commit 10607bd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/push.sh
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,8 @@ cd "${cover_dir}"
# beautify html

for file in "revisions/${REVISION}.html" "revisions/${REVISION}-inc.html"; do
ex -sc '%s/<style>/<style>@import url("nord.css");/' -c 'x' "${file}"
ex -sc '%s/<\/script>/<\/script><script src="ln.js"><\/script>/' -c 'x' "${file}"
ex -sc '%s/<style>/<style>@import url("../nord.css");/' -c 'x' "${file}"
ex -sc '%s/<\/script>/<\/script><script src="../ln.js"><\/script>/' -c 'x' "${file}"
done

# if we are on the main branch, copy files to main.*
Expand Down

0 comments on commit 10607bd

Please sign in to comment.