Use directory urls

.github/workflows/pr.yml

@@ -43,10 +43,6 @@ jobs:
       - name: Build site
         run: mkdocs build
         env:
-          # by turning off, we can get checking of anchor links on the site
-          # not just external urls. see...
-          # https://github.com/manuzhang/mkdocs-htmlproofer-plugin/issues/46#issuecomment-1494267151
-          USE_DIRECTORY_URLS: false
           # turn off external url checking as it takes a long time and we
           # do that on a schedule
           VALIDATE_EXTERNAL_URLS: false

.github/workflows/verify-site-builds.yml

@@ -18,11 +18,6 @@ jobs:
           INSIDERS_PAT: ${{ secrets.MATERIAL_INSIDERS_ACCESS }}
       - name: Build site
         run: mkdocs build
-        env:
-          # by turning off, we can get checking of anchor links on the site
-          # not just external urls. see...
-          # https://github.com/manuzhang/mkdocs-htmlproofer-plugin/issues/46#issuecomment-1494267151
-          USE_DIRECTORY_URLS: false
       - name: Send alert on failure
         if: ${{ failure() }}
         uses: zulip/github-actions-zulip/send-message@08b6fbd07f5834e5b930a85bc7740e9fd44ab2e7

docs/blog/posts/last-week-in-pony-010823.md

@@ -21,7 +21,7 @@ The headline news of the week, if you are using Pony 0.52.3 to 0.52.5, you shoul
 
 ### Maybe Don't Expect Instability
 
-Last week, we wrote that we [expected some instability](https://www.ponylang.io/blog/2023/01/last-week-in-pony---january-1-2023/#some-instability-expected) due to the removal of an unsafe garbage collection optimization and the discovery of a bug that started happening because of the optimization removal.
+Last week, we wrote that we [expected some instability](/blog/posts/last-week-in-pony-010123.md#some-instability-expected) due to the removal of an unsafe garbage collection optimization and the discovery of a bug that started happening because of the optimization removal.
 
 At the time we started investigating the bug, it looked like it existed prior to the change, but was in a little used code path that might have never been stumbled upon. This intuition was arrived at because the bug wasn't what we would have expected from the original change. However, that intuition was wrong.
 

docs/blog/posts/last-week-in-pony-012124.md

@@ -18,7 +18,7 @@ Update your HTTP library related dependencies.
 
 ### Update your "HTTP related" dependencies
 
-That week we discovered a [bug related to OpenSSL 3.2](https://www.ponylang.io/blog/2024/01/last-week-in-pony---january-14-2024/#openssl-3-2-related-bug).
+That week we discovered a [bug related to OpenSSL 3.2](/blog/posts/last-week-in-pony-011424.md#openssl-3-2-related-bug).
 
 This week, we released new versions of [ponylang/net_ssl](https://github.com/ponylang/net_ssl), [ponylang/http](https://github.com/ponylang/http), and [ponylang/http_server](https://github.com/ponylang/http_server) to fix the issue on the Pony side of things.
 

docs/blog/posts/last-week-in-pony-021824.md

@@ -51,7 +51,7 @@ There was no Office Hours this week. Sean has incapacitated with a migraine.
 
 We like to take a moment in each Last Week in Pony to highlight a community resource. There are many community resources that can go unappreciated until _just the right time_ when someone hops into the Ponylang Zulip asking a question or facing a problem we have all had at one time or another. Well here in Last Week in Pony, we make it **just the right time** to highlight one of our excellent community resources.
 
-If you have ever wondered how and why Pony came about -- including where the name came from -- there is [An Early History of Pony](blog/posts/early-history-of-pony.md) blog entry written by the designer of Pony himself, Sylvan Clebsch.
+If you have ever wondered how and why Pony came about -- including where the name came from -- there is [An Early History of Pony](/blog/posts/early-history-of-pony.md) blog entry written by the designer of Pony himself, Sylvan Clebsch.
 
 ---
 

docs/blog/posts/last-week-in-pony-050717.md

@@ -20,7 +20,7 @@ Got something you think should be featured? There's a GitHub issue for that! Add
 
 ## An Early History of Pony
 
-Over the last year or two, many folks have asked some variation on "how did Pony come to be?". Well dear interlocutors, ask no more. Sylvan Clebsch published [An Early History of Pony](blog/posts/early-history-of-pony.md). Question no more. Go forth and spread the word, for ye, it is good.
+Over the last year or two, many folks have asked some variation on "how did Pony come to be?". Well dear interlocutors, ask no more. Sylvan Clebsch published [An Early History of Pony](/blog/posts/early-history-of-pony.md). Question no more. Go forth and spread the word, for ye, it is good.
 
 ## Items of Note
 

docs/blog/posts/last-week-in-pony-071617.md

@@ -34,7 +34,7 @@ The only caveat for "My First Pony" is that we ask you keep things positive. No
 
 ## News and Blog Posts
 
-- [My First Pony](blog/posts/myfirstpony-kh.md) by Kevin Hoffman
+- [My First Pony](/blog/posts/myfirstpony-kh.md) by Kevin Hoffman
 - [Composition over Inheritance in Pony](https://medium.com/@KevinHoffman/composition-over-inheritance-in-pony-33bbe107914) by Kevin Hoffman
 - [Rolling the Dice with Pony](https://medium.com/p/rolling-the-dice-with-pony-b7a32a69267b) by Kevin Hoffman
 

docs/blog/posts/last-week-in-pony-10222017.md

@@ -25,7 +25,7 @@ With this release we fixed some possible issues with OSX installs. If you have t
 
 ## News and Blog Posts
 
-- `codec-abc` kindly gave us a glimpse into what its like starting out with Pony. Check out his [My First Pony](blog/posts/myfirstpony-co.md) post! If you also want to let us know what your first experiences with Pony are, drop us a line.
+- `codec-abc` kindly gave us a glimpse into what its like starting out with Pony. Check out his [My First Pony](/blog/posts/myfirstpony-co.md) post! If you also want to let us know what your first experiences with Pony are, drop us a line.
 
 ## Items of note
 

docs/community/planet-pony.md

@@ -53,13 +53,13 @@ We don't have a Pony blog aggregator at the moment, so in the meantime, we have
 * [The Promise of Pony's Future](https://medium.com/@KevinHoffman/the-promise-of-ponys-future-44040a0b64ff)
 * [Rolling the Dice with Pony](https://medium.com/@KevinHoffman/rolling-the-dice-with-pony-b7a32a69267b)
 * [Composition over Inheritance in Pony](https://medium.com/@KevinHoffman/composition-over-inheritance-in-pony-33bbe107914)
-* [My First Pony](blog/posts/myfirstpony-kh.md)
+* [My First Pony](/blog/posts/myfirstpony-kh.md)
 * InfoQ podcast interview with Sylvan Clebsch - [Pony Language Designer Sylvan Clebsch on Pony’s Design, Garbage Collection, and Formal Verification](https://www.infoq.com/podcasts/sylvan-clebsch-pony-formal-verification)
 * [Pony: 714 Days Later (Curry On Barcelona)](https://www.youtube.com/watch?v=HGDSnOZaU7Y)
 * [What's Next for Our Programming Languages? (QCon London)](https://www.infoq.com/presentations/panel-languages-future)
 * [Pony: Co-designing a Type-system and a Runtime (QCon London)](https://www.infoq.com/presentations/pony-type-system)
 * [Learning Pony](http://musings.tinbrain.net/blog/2017/may/11/learning-pony/)
-* [An Early History of Pony](blog/posts/early-history-of-pony.md)
+* [An Early History of Pony](/blog/posts/early-history-of-pony.md)
 * [Pony VUG #8: Andrew Turley: Prime Cuts: The Best Pieces Of Pony](https://vimeo.com/202387915)
 * [Découverte du langage Pony](https://zestedesavoir.com/articles/1329/decouverte-du-langage-pony/)
 

docs/discover/index.md

@@ -4,4 +4,4 @@ Pony is an open-source, object-oriented, [actor-model](https://en.wikipedia.org/
 
 If you are looking to jump in and get started with Pony *right now*, you can try it in your browser using the [Pony Playground](http://playground.ponylang.io). Keep reading if you are interested in what makes Pony different and why you should consider using it.
 
-If you are interested in the early history of Pony and how it came into existence, you're in luck: ["An Early History of Pony"](blog/posts/early-history-of-pony.md).
+If you are interested in the early history of Pony and how it came into existence, you're in luck: ["An Early History of Pony"](/blog/posts/early-history-of-pony.md).

docs/faq/about-pony.md

@@ -2,11 +2,11 @@
 
 ## How'd Pony come to be? {:id="early-history"}
 
-Check out ["An Early History of Pony"](blog/posts/early-history-of-pony.md).
+Check out ["An Early History of Pony"](/blog/posts/early-history-of-pony.md).
 
 ## Why's it called "Pony"? {:id="why-the-name-pony"}
 
-Interesting question. We hear that a lot. If you read enough of ["An Early History of Pony"](blog/posts/early-history-of-pony.md), you'll get your answer.
+Interesting question. We hear that a lot. If you read enough of ["An Early History of Pony"](/blog/posts/early-history-of-pony.md), you'll get your answer.
 
 ## What makes Pony different? {:id="how-is-pony-different"}