about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-03-02 05:50:19 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-03-02 05:50:19 -0800
commite520e7989c207da66130b951d6268d11911b4fcc (patch)
tree61a6890b232e63370d40b06abab8a73be52723db
parentfd7d8138a4ff5515f9b79c584a98d5c26d8ddb8a (diff)
downloadmu-e520e7989c207da66130b951d6268d11911b4fcc.tar.gz
3751
Some hacky manual fixes to auto-generated html.
-rw-r--r--html/001help.cc.html4
-rw-r--r--html/003trace.cc.html4
-rw-r--r--html/075channel.mu.html2
-rw-r--r--html/088file.mu.html2
4 files changed, 6 insertions, 6 deletions
diff --git a/html/001help.cc.html b/html/001help.cc.html
index 61af7f42..8cc034f1 100644
--- a/html/001help.cc.html
+++ b/html/001help.cc.html
@@ -188,7 +188,7 @@ if ('onhashchange' in window) {
 <span id="L127" class="LineNr">127 </span><span class="Comment">//: yadda-yadda. Instead use this macro below to perform an unsafe cast to</span>
 <span id="L128" class="LineNr">128 </span><span class="Comment">//: signed. We'll just give up immediately if a container's ever too large.</span>
 <span id="L129" class="LineNr">129 </span><span class="Comment">//: Basically, Mu is not concerned about this being a little slower than it</span>
-<span id="L130" class="LineNr">130 </span><span class="Comment">//: could be. (<a href="https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7)">https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7)</a></span>
+<span id="L130" class="LineNr">130 </span><span class="Comment">//: could be. (<a href="https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7">https://gist.github.com/rygorous/e0f055bfb74e3d5f0af20690759de5a7</a>)</span>
 <span id="L131" class="LineNr">131 </span><span class="Comment">//:</span>
 <span id="L132" class="LineNr">132 </span><span class="Comment">//: Addendum to corollary: We're going to uniformly use int everywhere, to</span>
 <span id="L133" class="LineNr">133 </span><span class="Comment">//: indicate that we're oblivious to number size, and since Clang on 32-bit</span>
@@ -200,7 +200,7 @@ if ('onhashchange' in window) {
 <span id="L139" class="LineNr">139 </span>
 <span id="L140" class="LineNr">140 </span><span class="Comment">//: 5. Integer overflow is guarded against at runtime using the -ftrapv flag</span>
 <span id="L141" class="LineNr">141 </span><span class="Comment">//: to the compiler, supported by Clang (GCC version only works sometimes:</span>
-<span id="L142" class="LineNr">142 </span><span class="Comment">//: <a href="http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work).">http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work).</a></span>
+<span id="L142" class="LineNr">142 </span><span class="Comment">//: <a href="http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work">http://stackoverflow.com/questions/20851061/how-to-make-gcc-ftrapv-work</a>).</span>
 <span id="L143" class="LineNr">143 </span><span class="Delimiter">:(before &quot;atexit(teardown)&quot;)</span>
 <span id="L144" class="LineNr">144 </span><a href='001help.cc.html#L149'>initialize_signal_handlers</a><span class="Delimiter">();</span>  <span class="Comment">// not always necessary, but doesn't hurt</span>
 <span id="L145" class="LineNr">145 </span><span class="CommentedCode">//? cerr &lt;&lt; INT_MAX+1 &lt;&lt; '\n';  // test overflow</span>
diff --git a/html/003trace.cc.html b/html/003trace.cc.html
index b1999eb4..6aadb6cc 100644
--- a/html/003trace.cc.html
+++ b/html/003trace.cc.html
@@ -104,7 +104,7 @@ if ('onhashchange' in window) {
 <span id="L45" class="LineNr"> 45 </span><span class="Comment">//:</span>
 <span id="L46" class="LineNr"> 46 </span><span class="Comment">//: Between layers and domain-driven testing, programming starts to look like a</span>
 <span id="L47" class="LineNr"> 47 </span><span class="Comment">//: fundamentally different activity. Instead of a) superficial, b) local rules</span>
-<span id="L48" class="LineNr"> 48 </span><span class="Comment">//: on c) code [like say <a href="http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet],">http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet],</a></span>
+<span id="L48" class="LineNr"> 48 </span><span class="Comment">//: on c) code [like say <a href="http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet">http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet</a>],</span>
 <span id="L49" class="LineNr"> 49 </span><span class="Comment">//: we allow programmers to engage with the a) deep, b) global structure of the</span>
 <span id="L50" class="LineNr"> 50 </span><span class="Comment">//: c) domain. If you can systematically track discontinuities in the domain,</span>
 <span id="L51" class="LineNr"> 51 </span><span class="Comment">//: you don't care if the code used gotos as long as it passed the tests. If</span>
@@ -124,7 +124,7 @@ if ('onhashchange' in window) {
 <span id="L65" class="LineNr"> 65 </span><span class="Comment">//:</span>
 <span id="L66" class="LineNr"> 66 </span><span class="Comment">//:   &quot;Programming properly should be regarded as an activity by which</span>
 <span id="L67" class="LineNr"> 67 </span><span class="Comment">//:   programmers form a mental model, rather than as production of a program.&quot;</span>
-<span id="L68" class="LineNr"> 68 </span><span class="Comment">//:   -- Peter Naur (<a href="http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)">http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)</a></span>
+<span id="L68" class="LineNr"> 68 </span><span class="Comment">//:   -- Peter Naur (<a href="http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22">http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22</a>)</span>
 <span id="L69" class="LineNr"> 69 </span>
 <span id="L70" class="LineNr"> 70 </span><span class="Delimiter">:(before &quot;End Types&quot;)</span>
 <span id="L71" class="LineNr"> 71 </span><span class="Normal">struct</span> trace_line <span class="Delimiter">{</span>
diff --git a/html/075channel.mu.html b/html/075channel.mu.html
index cf0470d3..5c486beb 100644
--- a/html/075channel.mu.html
+++ b/html/075channel.mu.html
@@ -419,7 +419,7 @@ if ('onhashchange' in window) {
 <span id="L357" class="LineNr">357 </span>]
 <span id="L358" class="LineNr">358 </span>
 <span id="L359" class="LineNr">359 </span><span class="Comment"># A full channel has first-empty just before first-full, wasting one slot.</span>
-<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction)</a></span>
+<span id="L360" class="LineNr">360 </span><span class="Comment"># (Other alternatives: <a href="https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction">https://en.wikipedia.org/wiki/Circular_buffer#Full_.2F_Empty_Buffer_Distinction</a>)</span>
 <span id="L361" class="LineNr">361 </span><span class="muRecipe">def</span> <a href='075channel.mu.html#L361'>channel-full?</a> chan:&amp;:channel:_elem<span class="muRecipe"> -&gt; </span>result:bool [
 <span id="L362" class="LineNr">362 </span>  <span class="Constant">local-scope</span>
 <span id="L363" class="LineNr">363 </span>  <span class="Constant">load-ingredients</span>
diff --git a/html/088file.mu.html b/html/088file.mu.html
index 21df9ccd..6025332d 100644
--- a/html/088file.mu.html
+++ b/html/088file.mu.html
@@ -202,7 +202,7 @@ if ('onhashchange' in window) {
 <span id="L143" class="LineNr">143 </span>  <span class="Delimiter">}</span>
 <span id="L144" class="LineNr">144 </span>  close sink-file
 <span id="L145" class="LineNr">145 </span>  <span class="Comment"># make sure to wait for the file to be actually written to disk</span>
-<span id="L146" class="LineNr">146 </span>  <span class="Comment"># (Mu practices structured concurrency: <a href="http://250bpm.com/blog:71)">http://250bpm.com/blog:71)</a></span>
+<span id="L146" class="LineNr">146 </span>  <span class="Comment"># (Mu practices structured concurrency: <a href="http://250bpm.com/blog:71">http://250bpm.com/blog:71</a>)</span>
 <span id="L147" class="LineNr">147 </span>  wait-for-routine write-routine
 <span id="L148" class="LineNr">148 </span>]
 <span id="L149" class="LineNr">149 </span>
id='n470' href='#n470'>470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674