Oops, re-add HISTORY.md.

2024-06-10 15:29:27 -04:00
parent 4496714de9
commit 312a476e98
1 changed files with 1 additions and 1 deletions
@@ -382,7 +382,7 @@ fi
 cp doc/sidebar.html "$template_html_sidebar";

 # Process all the .md files.
-for f in README.md `find ./doc/ -iname '*.md'`;
+for f in README.md HISTORY.md `find ./doc/ -iname '*.md'`;
 do
  # Skip the JOSS paper...
  if [[ $f == *"joss_paper"* ]]; then