Skip to content

Commit

Permalink
Docs: Fix doc hash check
Browse files Browse the repository at this point in the history
  • Loading branch information
PMheart committed Apr 16, 2022
1 parent 6d0e6f5 commit 7036512
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
6 changes: 5 additions & 1 deletion Docs/BuildDocs.tool
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ builddocs() {
cd .. || abort "Unable to cd back to Docs directory"
}

checkdocs() {
updatedocshash() {
err=0
if [ "$(which md5)" != "" ]; then
HASH=$(md5 Configuration.tex | cut -f4 -d' ')
Expand All @@ -78,6 +78,9 @@ checkdocs() {
fi

echo "$HASH" > "Configuration.md5"
}

checkdocs() {
if [ "$HASH" != "$OLDHASH" ]; then
echo "Configuration hash ${HASH} is different from ${OLDHASH}."
echo "You forgot to rebuild documentation (Configuration.pdf)!"
Expand Down Expand Up @@ -140,6 +143,7 @@ main() {
fi

builddocs
updatedocshash

case "$1" in
-c|--check-docs )
Expand Down
2 changes: 1 addition & 1 deletion Docs/Configuration.md5
Original file line number Diff line number Diff line change
@@ -1 +1 @@
da8d21241214372dd770399252c46af6
6ff710aac475ee1eff5eaf09d8c274a1

0 comments on commit 7036512

Please # to comment.