7 lines
79 B
Bash
7 lines
79 B
Bash
#!/bin/bash
|
|
|
|
set -o errexit
|
|
set -o pipefail
|
|
set -o nounset
|
|
|
|
exec make livehtml
|