add Jump to top links to other entry HTML files

Add short line and Jump to top links to other entry HTML files. Ran `make gen_other_html` to perform the above.
2024-04-21 21:07:41 -07:00
1 parent 5ed453970d
commit 0eb5e37c12
@@ -51,6 +51,11 @@ To include the primitive on-line help, use:
 ```


+<hr style="width:10%;text-align:left;margin-left:0">
+
+Jump to: [top](#)
+
+
 <!--

    Copyright © 1984-2024 by Landon Curt Noll. All Rights Reserved.
@@ -906,6 +906,11 @@ exit.
 ```


+<hr style="width:10%;text-align:left;margin-left:0">
+
+Jump to: [top](#)
+
+
 <!--

    Copyright © 1984-2024 by Landon Curt Noll. All Rights Reserved.