File: landing.sh

package info (click to toggle)
agda-stdlib 2.3-1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 9,600 kB
  • sloc: haskell: 375; makefile: 32; sh: 28; lisp: 1
file content (18 lines) | stat: -rwxr-xr-x 389 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
set -eu
set -o pipefail

rm html/index.html

cat landing-top.html >> landing.html

find html/ -name "index.html" \
  | grep -v "master\|experimental" \
  | sed 's|html/\([^\/]*\)/index.html|\1|g' \
  | sort -r \
  | sed 's|^\(.*\)$|        <li><a href="\1">\1</a></li>|g' \
  >> landing.html

cat landing-bottom.html >> landing.html

mv landing.html html/index.html
mv agda-logo.svg html/