Added comments about where markdown content came from
The HTML files now include a comment indicating from where the main part of the markdown content. Changed `bin/gen-other-html.sh` VERSION from "1.0 2024-02-27" to "1.0.1 2024-03-08". Changed `bin/gen-top-html.sh` VERSION from "1.2 2024-02-29" to "1.2.1 2024-03-08". Changed `bin/gen-year-index.sh` VERSION from "1.0.1 2024-02-23" to "1.0.2 2024-03-08". Changed `bin/md2html.sh` VERSION from "1.0.1 2024-02-23" to "1.1 2024-03-08". Changed `bin/quick-readme2index.sh` VERSION from "1.1.1 2024-02-23" to "1.1.2 2024-03-08".
This commit is contained in:
1 parent
adaea3becc
commit
085a708660
402 files changed
+1070
-630
No files matched your search
+6
-2
@@ -11,6 +11,7 @@
|
||||
<!-- END: this line ends content from: inc/top.default.html -->
|
||||
<!-- -->
|
||||
<!-- The original markdown content was formed by the tool: unspecified -->
|
||||
<!-- The main part of the markdown content came from: 1992/README.md -->
|
||||
<!-- The HTML was converted from markdown by the tool: bin/md2html.sh -->
|
||||
<!-- -->
|
||||
<!-- START: this line starts content from: inc/head.default.html -->
|
||||
@@ -130,11 +131,14 @@ compilers had problems optimizing certain entries. Some compilers do
|
||||
optimize, but the resulting program does not work. By default we have
|
||||
left off <code>-O</code> from compile lines. You might want to add
|
||||
<code>-O</code> back, or add it back for certain entries where
|
||||
performance is important.</p>
|
||||
performance is important. (This was updated to use <code>-O3</code> in
|
||||
202n though sometimes an entry does not work if the compiler optimises
|
||||
the code and in this case it is disabled or explicitly set to level
|
||||
0.)</p>
|
||||
<p>This year marked an all time high for number of entries as well as
|
||||
the quality of entries. Nearly twice the usual number of entries made it
|
||||
to the final judging rounds. Even when we raised the standards for
|
||||
winning, we still wound up giving out a few more awards than in other
|
||||
winning, we still wound up giving out a few more awards than in previous
|
||||
years. The new size rules size probably contributed to the overall high
|
||||
quality.</p>
|
||||
<p>FYI: By tradition, we do not record the count of the number entries,
|
||||
|
||||
Reference in new issue
Block a user