diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-11-25 20:57:01 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-11-25 20:57:01 +0100 |
| commit | 70811d83beb37f7eebc76451858d56be76b3e521 (patch) | |
| tree | e09aff21a86cfb72cfcb1fa22787c2d5ea64c556 /bin/update_html | |
| parent | 0ed6b726a2c9a2365fadc05a75177c569469b4fd (diff) | |
| parent | 37c63a0c22ccc73e60222335263c702873b6af2c (diff) | |
Merge remote-tracking branch 'origin/master' into build-binary-packages
Diffstat (limited to 'bin/update_html')
| -rwxr-xr-x | bin/update_html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/update_html b/bin/update_html index 912ff1fa0..717670085 100755 --- a/bin/update_html +++ b/bin/update_html @@ -147,7 +147,7 @@ else fi done find . -name '*.md' | while read file ; do - if [[ "$file" == *"README.md" ]] ; then continue ; fi + if [[ "$file" == *"README.md" ]] || [[ "$file" == *"RELEASE.md" ]] ; then continue ; fi html="${file%.md}.html" if [ "$file" -nt "$html" ] || [ "$template" -nt "$html" ] ; then render_md_html "$file" "$html" |