fixed conflict between make gen_status and make gen_top_html
The `bin/gen-status.sh` will report that the given markdown file (`next/rules.md` or `next/guidelines.md`) is the source of the generated HTML file. This is so that the HTML produced by either `make gen_status` or `make gen_top_html` will generated the same HTML comments. Moreover the comments in `next/rules.html` and `next/guidelines.html` refer to the markdown file as the source of the information instead of a tool such as `bin/gen-status.sh`. Changed `bin/gen-status.sh` VERSION from "1.5.1 2024-04-28" to "1.5.2 2024-04-30". Added news for 2024-04-30 into `news.md`. Make news dates "less shouty". Ran `make www` to perform the above.
This commit is contained in:
1 parent
d09c3fa878
commit
a507a06076
7 files changed
+99
-41
No files matched your search
@@ -26,13 +26,13 @@
|
||||
|
||||
<!-- -->
|
||||
<!-- This web page was formed via the tool: bin/gen-status.sh -->
|
||||
<!-- The main section of this web page came from JSON and other data files -->
|
||||
<!-- The content of main section of this web page came from: next/guidelines.md -->
|
||||
<!-- -->
|
||||
|
||||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||||
<!-- The main section of this web page was generated via the tool: bin/gen-status.sh -->
|
||||
<!-- The main section of this web page was generated via the tool: bin/gen-status.sh -->
|
||||
<!-- The main section of this web page was generated via the tool: bin/gen-status.sh -->
|
||||
<!-- !!! Do not modify this web page, instead modify the file: next/guidelines.md !!! -->
|
||||
<!-- !!! Do not modify this web page, instead modify the file: next/guidelines.md !!! -->
|
||||
<!-- !!! Do not modify this web page, instead modify the file: next/guidelines.md !!! -->
|
||||
<!-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -->
|
||||
|
||||
<!-- Markdown content was converted into HTML via the tool: bin/md2html.sh -->
|
||||
|
||||
Reference in new issue
Block a user