Adding upstream version 1.34.4.
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
parent
e393c3af3f
commit
4978089aab
4963 changed files with 677545 additions and 0 deletions
10
scripts/make_docs.sh
Executable file
10
scripts/make_docs.sh
Executable file
|
@ -0,0 +1,10 @@
|
|||
#!/bin/sh
|
||||
|
||||
make docs
|
||||
|
||||
if [ "$(git status --porcelain | wc -l)" -eq "0" ]; then
|
||||
echo "🟢 Git repo is clean."
|
||||
else
|
||||
echo "🔴 Git repo dirty. Please run \"make docs\" and push the updated README. Failing CI."
|
||||
exit 1
|
||||
fi
|
Loading…
Add table
Add a link
Reference in a new issue