site: change .md links to .html.

With the Untitled static website generator, .MC links work fine, but since GNU Boot plans to move to Haunt and that for some reasons in our configuration, haunt didn't handle such links, we switch to .html which also works fine with Untitled. Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
2024-05-13 23:17:16 +02:00 · 2024-05-13 23:17:16 +02:00 · b1f0adbc22
parent 318baaaa44
commit b1f0adbc22
46 changed files with 157 additions and 157 deletions
--- a/site/contrib.md
+++ b/site/contrib.md
@ -11,7 +11,7 @@ you don't want to be mentioned, let us know and we'll remove your
 entry)
 Information about who maintains GNU Boot, and how the project is run,
-can be found on this page: [git.md](git.md).
+can be found on this page: [git.html](git.html).
 You can know the history of the Libreboot project, simply by reading this page.
 It goes into detail about all of the major contributions to the project, and in
@ -40,7 +40,7 @@ works on all aspects of Libreboot, such as:
  that Libreboot uses
 * Providing user support on IRC
 * *Commercial* user support via her company listed
-  on [the suppliers page](/suppliers.md)
+  on [the suppliers page](/suppliers.html)
 Leah is also responsible for [osboot.org](https://osboot.org/) which is heavily
 based on Libreboot, but with different project goals.
@ -249,7 +249,7 @@ Patrick "P. J." McDermott
 ---------------------------
 Patrick also did a lot of research and wrote the libreboot FAQ section
-relating to the [Intel Management Engine](../faq.md#intelme), in addition
+relating to the [Intel Management Engine](../faq.html#intelme), in addition
 to making several improvements to the build system in libreboot. **Former
 libreboot project maintainer.**
@ -281,7 +281,7 @@ in coreboot, and then helped her integrate the fix in libreboot.
 Peter Stuge
 -----------
-Helped write the [FAQ section about DMA](../faq.md#hddssd-firmware), and provided
+Helped write the [FAQ section about DMA](../faq.html#hddssd-firmware), and provided
 general advice in the early days of the project. Peter was a coreboot developer
 in those days, and a major developer in the *libusb* project (which flashrom
 makes heavy use of).
--- a/site/docs/bsd/index.md
+++ b/site/docs/bsd/index.md
@ -75,6 +75,6 @@ bypassed entirely.
 We have separate pages for each BSD system:
-* [How to install NetBSD on x86 GNU GRUB payload](netbsd.md)
+* [How to install NetBSD on x86 GNU GRUB payload](netbsd.html)
-* [How to install OpenBSD on x86 GNU GRUB payload](openbsd.md)
+* [How to install OpenBSD on x86 GNU GRUB payload](openbsd.html)
-* [How to install FreeBSD on a x86 GNU GRUB payload](freebsd.md)
+* [How to install FreeBSD on a x86 GNU GRUB payload](freebsd.html)
--- a/site/docs/bsd/openbsd.md
+++ b/site/docs/bsd/openbsd.md
@ -56,7 +56,7 @@ there. This will also work with the OpenBSD image.
 Prepare the USB drive (in FreeBSD)
 ----------------------------------
-[This page](https://www.freebsd.org/doc/handbook/bsdinstall-pre.md) on
+[This page](https://www.freebsd.org/doc/handbook/bsdinstall-pre.html) on
 the FreeBSD website shows how to create a bootable USB drive for
 installing FreeBSD. Use the `dd` on that page. You can also use the same
 instructions with a OpenBSD ISO image.
--- a/site/docs/depthcharge/index.md
+++ b/site/docs/depthcharge/index.md
@ -177,4 +177,4 @@ Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License Version 1.3 or any later
 version published by the Free Software Foundation
 with no Invariant Sections, no Front Cover Texts, and no Back Cover Texts.
-A copy of this license is found in [../fdl-1.3.md](../fdl-1.3.md)
+A copy of this license is found in [../fdl-1.3.html](../fdl-1.3.html)
--- a/site/docs/gnulinux/encrypted_debian.md
+++ b/site/docs/gnulinux/encrypted_debian.md
@ -75,7 +75,7 @@ If you are on a 32-bit system (e.g. X60):
    initrd /install.386/initrd.gz
    boot
-[This guide](grub_boot_installer.md) shows how to create a boot USB
+[This guide](grub_boot_installer.html) shows how to create a boot USB
 drive with the Debian ISO image.
 *This guide is only for the GRUB payload. If you use the depthcharge payload,
@ -277,7 +277,7 @@ generate grub.cfg using following command:
    grub-install --target=i386-coreboot
-[Refer to this guide](grub_hardening.md) for further guidance on
+[Refer to this guide](grub_hardening.html) for further guidance on
 hardening your GRUB configuration, for security purposes.
 Troubleshooting
--- a/site/docs/gnulinux/grub_cbfs.md
+++ b/site/docs/gnulinux/grub_cbfs.md
@ -112,7 +112,7 @@ when you read from and/or write to the boot flash from an operating systems
 In other cases, you may need to connect an SPI programmer externally (with the
 machine powered down) and read the contents of the boot flash.
-[Learn how to externally reprogram these chips](../install/spi.md)
+[Learn how to externally reprogram these chips](../install/spi.html)
 Extract grub.cfg
 ================
--- a/site/docs/gnulinux/grub_hardening.md
+++ b/site/docs/gnulinux/grub_hardening.md
@ -100,7 +100,7 @@ References:
 * [GRUB manual](https://www.gnu.org/software/grub/manual/html_node/Security.html#Security)
 * [GRUB info pages](http://git.savannah.gnu.org/cgit/grub.git/tree/docs/grub.texi)
-* [SATA connected storage considered dangerous.](../../faq.md#hddssd-firmware)
+* [SATA connected storage considered dangerous.](../../faq.html#hddssd-firmware)
 * [Coreboot GRUB security howto](https://www.coreboot.org/GRUB2#Security)
 GRUB Password
--- a/site/docs/gnulinux/index.md
+++ b/site/docs/gnulinux/index.md
@ -21,12 +21,12 @@ Useful links
 Refer to the following pages:
-* [How to Prepare and Boot a USB Installer in Libreboot Systems](grub_boot_installer.md)
+* [How to Prepare and Boot a USB Installer in Libreboot Systems](grub_boot_installer.html)
-* [Modifying the GRUB Configuration in Libreboot Systems](grub_cbfs.md)
+* [Modifying the GRUB Configuration in Libreboot Systems](grub_cbfs.html)
 * [Installing Hyperbola GNU+Linux, with Full-Disk Encryption (including /boot)](https://wiki.hyperbola.info/en:guide:encrypted_installation)
-* [Installing Debian or Devuan GNU+Linux-Libre, with Full-Disk Encryption (including /boot)](encrypted_debian.md)
+* [Installing Debian or Devuan GNU+Linux-Libre, with Full-Disk Encryption (including /boot)](encrypted_debian.html)
-* [Installing Guix System, with Full-Disk Encryption (including /boot)](guix.md)
+* [Installing Guix System, with Full-Disk Encryption (including /boot)](guix.html)
-* [How to Harden Your GRUB Configuration, for Security](grub_hardening.md)
+* [How to Harden Your GRUB Configuration, for Security](grub_hardening.html)
 Guix, Parabola, Trisquel
 ========================
--- a/site/docs/grub/index.md
+++ b/site/docs/grub/index.md
@ -49,4 +49,4 @@ file, before converting to a GRUB keymap file. Therefore, it would be unwise to
 automatically add all keymaps in GRUB.
 If you've added a keymap to lbmk, and it works,
-[please submit a patch!](../../git.md)
+[please submit a patch!](../../git.html)
--- a/site/docs/hardware/c201.md
+++ b/site/docs/hardware/c201.md
@ -136,7 +136,7 @@ ChromeOS with a distribution that respects your freedom) be more free
 when using one of these laptops.
 The libreboot FAQ briefly describes what an *EC* is:
-[../../faq.md#firmware-ec](../../faq.md#firmware-ec)
+[../../faq.html#firmware-ec](../../faq.html#firmware-ec)
 No microcode!
 =============
@ -172,7 +172,7 @@ accessible. User flashing from software is possible, without having to
 externally re-flash, but the flash chip is SPI (SOIC-8 form factor) so
 you can also externally re-flash if you want to. In practise, you only
 need to externally re-flash if you brick the laptop; read
-[../install/spi.md](../install/spi.md) for an example
+[../install/spi.html](../install/spi.html) for an example
 of how to set up an SPI programmer.
 Write protection is useful, because it prevents the firmware from being
--- a/site/docs/hardware/d510mo.md
+++ b/site/docs/hardware/d510mo.md
@ -15,4 +15,4 @@ native resolution the display is unusable due to some raminit issues.
 This board can however be used for building a headless server.
 Flashing instructions can be found at
-[../install/d510mo.md](../install/d510mo.md)
+[../install/d510mo.html](../install/d510mo.html)
--- a/site/docs/hardware/d945gclf.md
+++ b/site/docs/hardware/d945gclf.md
@ -4,7 +4,7 @@ x-unreviewed: true
 ...
 If you just want flashing instructions, go to
-[../install/d945gclf.md](../install/d945gclf.md)
+[../install/d945gclf.html](../install/d945gclf.html)
 D945GCLF2D also reported working by a user.
--- a/site/docs/hardware/index.md
+++ b/site/docs/hardware/index.md
@ -21,32 +21,32 @@ Libreboot supports the following systems in this release:
 ### Desktops (AMD, Intel, x86)
-   [Gigabyte GA-G41M-ES2L motherboard](ga-g41m-es2l.md)
+-   [Gigabyte GA-G41M-ES2L motherboard](ga-g41m-es2l.html)
-   [Intel D510MO and D410PT motherboards](d510mo.md)
+-   [Intel D510MO and D410PT motherboards](d510mo.html)
-   [Intel D945GCLF](d945gclf.md) (D945GCLF2D also reported working by a user)
+-   [Intel D945GCLF](d945gclf.html) (D945GCLF2D also reported working by a user)
-   [Apple iMac 5,2](imac52.md)
+-   [Apple iMac 5,2](imac52.html)
 ### Servers/workstations (AMD, x86)
-   [ASUS KCMA-D8 motherboard](kcma-d8.md)
+-   [ASUS KCMA-D8 motherboard](kcma-d8.html)
-   [ASUS KGPE-D16 motherboard](kgpe-d16.md)
+-   [ASUS KGPE-D16 motherboard](kgpe-d16.html)
-   [ASUS KFSN4-DRE motherboard](kfsn4-dre.md)
+-   [ASUS KFSN4-DRE motherboard](kfsn4-dre.html)
 ### Laptops (ARM)
-   [ASUS Chromebook C201](c201.md) (**Libreboot 20160907 only**)
+-   [ASUS Chromebook C201](c201.html) (**Libreboot 20160907 only**)
 ### Laptops (Intel, x86)
 -   ThinkPad X60 / X60S / X60 Tablet
 -   ThinkPad T60 (with Intel GPU)
-   [Lenovo ThinkPad X200 / X200S / X200 Tablet](x200.md)
+-   [Lenovo ThinkPad X200 / X200S / X200 Tablet](x200.html)
-   [Lenovo ThinkPad R400](r400.md)
+-   [Lenovo ThinkPad R400](r400.html)
-   [Lenovo ThinkPad T400 / T400S](t400.md)
+-   [Lenovo ThinkPad T400 / T400S](t400.html)
-   [Lenovo ThinkPad T500](t500.md)
+-   [Lenovo ThinkPad T500](t500.html)
-   [Lenovo ThinkPad W500](t500.md)
+-   [Lenovo ThinkPad W500](t500.html)
-   [Lenovo ThinkPad R500](r500.md)
+-   [Lenovo ThinkPad R500](r500.html)
-   [Apple MacBook1,1 and MacBook2,1](macbook21.md)
+-   [Apple MacBook1,1 and MacBook2,1](macbook21.html)
 'Supported' means that the build scripts know how to build ROM images
 for these systems, and that the systems have been tested (confirmed
@ -57,7 +57,7 @@ EC update on i945 (X60, T60) and GM45 (X200, T400, T500, R400, W500, R500)
 ==============================================================
 It is recommended that you update to the latest EC firmware version. The
-[EC firmware](../../faq.md#ec-embedded-controller-firmware) is separate from
+[EC firmware](../../faq.html#ec-embedded-controller-firmware) is separate from
 libreboot, so we don't actually provide that, but if you still have
 Lenovo BIOS then you can just run the Lenovo BIOS update utility, which
 will update both the BIOS and EC version. See:
--- a/site/docs/hardware/kcma-d8.md
+++ b/site/docs/hardware/kcma-d8.md
@ -51,7 +51,7 @@ need to re-flash externally. Refer instead to the generic instructions on
 this page: [../install/](../install/)
 Refer to the following guide:\
-[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.html)
 PCI option ROMs
 ===============
@ -124,7 +124,7 @@ IPMI iKVM module add-on {#ipmi}
 Don't use it. It uses proprietary firmware and adds a backdoor (remote
 out-of-band management chip, similar to the [Intel Management
-Engine](../../faq.md#intelme). Fortunately, the firmware is
+Engine](../../faq.html#intelme). Fortunately, the firmware is
 unsigned (possible to replace) and physically separate from the
 mainboard since it's on the add-on module, which you don't have to
 install.
--- a/site/docs/hardware/kgpe-d16.md
+++ b/site/docs/hardware/kgpe-d16.md
@ -47,7 +47,7 @@ IPMI iKVM module add-on {#ipmi}
 Don't use it. It uses proprietary firmware and adds a backdoor (remote
 out-of-band management chip, similar to the [Intel Management
-Engine](../../faq.md#intelme). Fortunately, the firmware is
+Engine](../../faq.html#intelme). Fortunately, the firmware is
 unsigned (possibly to replace) and physically separate from the
 mainboard since it's on the add-on module, which you don't have to
 install.
@ -69,7 +69,7 @@ extractor. These can be found online. See
 <http://www.coreboot.org/Developer_Manual/Tools#Chip_removal_tools>*
 This guide shows how to flash the chip:\
-[25xx NOR flashing guide](../install/spi.md)
+[25xx NOR flashing guide](../install/spi.html)
 Native graphics initialization {#graphics}
 ==============================
--- a/site/docs/hardware/mac_address.md
+++ b/site/docs/hardware/mac_address.md
@ -96,4 +96,4 @@ Changing the MAC address on X200/T400/T500/W500
 On GM45 laptops with ICH9M southbridge and Intel PHY module, the MAC address
 is hardcoded in boot flash, which means it can be changed if you re-flash.
-See [ich9utils documentation](../install/ich9utils.md)
+See [ich9utils documentation](../install/ich9utils.html)
--- a/site/docs/hardware/macbook21.md
+++ b/site/docs/hardware/macbook21.md
@ -77,7 +77,7 @@ motherboard. [How to remove the
 motherboard](https://www.ifixit.com/Guide/MacBook+Core+2+Duo+PRAM+Battery+Replacement/529).
 Refer to the following guide:\
-[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.html)
 You need to replace OS X with GNU+Linux before flashing Libreboot. (OSX
 won't run at all in Libreboot), if you wish to internally flash on a macbook21.
--- a/site/docs/hardware/r400.md
+++ b/site/docs/hardware/r400.md
@ -14,7 +14,7 @@ the palmrest: 4MiB is SOIC-8, 8MiB is SOIC-16.
 *The R400 laptops come with the ME (and sometimes AMT in addition)
 before flashing libreboot. Libreboot disables and removes it by using a
-modified descriptor: see [../install/ich9utils.md](../install/ich9utils.md)*
+modified descriptor: see [../install/ich9utils.html](../install/ich9utils.html)*
 (contains notes, plus instructions)
 Flashing instructions can be found at
@ -24,7 +24,7 @@ EC update {#ecupdate}
 =========
 It is recommended that you update to the latest EC firmware version. The
-[EC firmware](../../faq.md#ec-embedded-controller-firmware) is separate from
+[EC firmware](../../faq.html#ec-embedded-controller-firmware) is separate from
 libreboot, so we don't actually provide that, but if you still have
 Lenovo BIOS then you can just run the Lenovo BIOS update utility, which
 will update both the BIOS and EC version. See:
@ -57,7 +57,7 @@ The following errata datasheet from Intel might help with investigation:
 <http://download.intel.com/design/mobile/specupdt/320121.pdf>
 The R400 is almost identical to the X200, code-wise. See
-[x200.md](x200.md).
+[x200.html](x200.html).
-TODO: put hardware register logs here like on the [X200](x200.md) and
+TODO: put hardware register logs here like on the [X200](x200.html) and
-[T400](t400.md) page.
+[T400](t400.html) page.
--- a/site/docs/hardware/r500.md
+++ b/site/docs/hardware/r500.md
@ -9,7 +9,7 @@ You must take it apart and flash the chip externally.
 The chip is 4MiB NOR flash (SPI protocol) is SOIC8 form factory.
 Refer to the following guide:\
-[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](../install/spi.html)
 Unlike other GM45+ICH9M thinkpads in Libreboot, the R500 doesn't have an Intel
 PHY (for Gigabit Ethernet). However, Libreboot still includes an Intel flash
--- a/site/docs/hardware/t400.md
+++ b/site/docs/hardware/t400.md
@ -17,7 +17,7 @@ the palmrest: 4MiB is SOIC-8, 8MiB is SOIC-16.
 *The T400 laptops come with the ME (and sometimes AMT in addition)
 before flashing libreboot. Libreboot disables and removes it by using a
-modified descriptor: see [../install/ich9utils.md](../install/ich9utils.md)*
+modified descriptor: see [../install/ich9utils.html](../install/ich9utils.html)*
 (contains notes, plus instructions)
 Flashing instructions can be found at
@ -27,7 +27,7 @@ EC update {#ecupdate}
 =========
 It is recommended that you update to the latest EC firmware version. The
-[EC firmware](../../faq.md#ec-embedded-controller-firmware) is separate from
+[EC firmware](../../faq.html#ec-embedded-controller-firmware) is separate from
 libreboot, so we don't actually provide that, but if you still have
 Lenovo BIOS then you can just run the Lenovo BIOS update utility, which
 will update both the BIOS and EC version. See:
@ -60,4 +60,4 @@ The following errata datasheet from Intel might help with investigation:
 <http://download.intel.com/design/mobile/specupdt/320121.pdf>
 The T400 is almost identical to the X200, code-wise. See
-[x200.md](x200.md).
+[x200.html](x200.html).
--- a/site/docs/hardware/t500.md
+++ b/site/docs/hardware/t500.md
@ -19,7 +19,7 @@ the palmrest: 4MiB is SOIC-8, 8MiB is SOIC-16.
 *The T500 laptops come with the ME (and sometimes AMT in addition)
 before flashing libreboot. Libreboot disables and removes it by using a
-modified descriptor: see [../install/ich9utils.md](../install/ich9utils.md)*
+modified descriptor: see [../install/ich9utils.html](../install/ich9utils.html)*
 (contains notes, plus instructions)
 Flashing instructions can be found at
@ -29,7 +29,7 @@ EC update {#ecupdate}
 =========
 It is recommended that you update to the latest EC firmware version. The
-[EC firmware](../../faq.md#ec-embedded-controller-firmware) is separate from
+[EC firmware](../../faq.html#ec-embedded-controller-firmware) is separate from
 libreboot, so we don't actually provide that, but if you still have
 Lenovo BIOS then you can just run the Lenovo BIOS update utility, which
 will update both the BIOS and EC version. See:
@ -62,4 +62,4 @@ The following errata datasheet from Intel might help with investigation:
 <http://download.intel.com/design/mobile/specupdt/320121.pdf>
 The T500 is almost identical to the X200, code-wise. See
-[x200.md](x200.md).
+[x200.html](x200.html).
--- a/site/docs/hardware/x200.md
+++ b/site/docs/hardware/x200.md
@ -19,7 +19,7 @@ the palmrest: 4MiB is SOIC-8, 8MiB is SOIC-16.
 *The X200 laptops come with the ME (and sometimes AMT in addition)
 before flashing libreboot. Libreboot disables and removes it by using a
-modified descriptor: see [../install/ich9utils.md](../install/ich9utils.md)*
+modified descriptor: see [../install/ich9utils.html](../install/ich9utils.html)*
 (contains notes, plus instructions)
 Flashing instructions can be found at
@ -29,7 +29,7 @@ EC update {#ecupdate}
 =========
 It is recommended that you update to the latest EC firmware version. The
-[EC firmware](../../faq.md#ec-embedded-controller-firmware) is separate from
+[EC firmware](../../faq.html#ec-embedded-controller-firmware) is separate from
 libreboot, so we don't actually provide that, but if you still have
 Lenovo BIOS then you can just run the Lenovo BIOS update utility, which
 will update both the BIOS and EC version. See:
--- a/site/docs/index.md
+++ b/site/docs/index.md
@ -7,7 +7,7 @@ Always check [libreboot.srht.site](https://libreboot.srht.site/) for the latest
 Libreboot. News, including release announcements, can be found in
 the [main news section](../news/).
-[Answers to Frequently Asked Questions about Libreboot](../faq.md).
+[Answers to Frequently Asked Questions about Libreboot](../faq.html).
 Installing libreboot
 ====================
@ -32,7 +32,7 @@ Other information
 =================
 -   [Miscellaneous](misc/)
-   [List of codenames](misc/codenames.md)
+-   [List of codenames](misc/codenames.html)
 How do I know what version I'm running? {#version}
 ========================================
--- a/site/docs/install/c201.md
+++ b/site/docs/install/c201.md
@ -20,7 +20,7 @@ written in raw HTML, because the Markdown-based static site generator used on
 libreboot.srht.site had not yet been written at that point.
 These instructions are for installing Libreboot to the ASUS Chromebook
-C201 (more known under a name [*veyron speedy*](../misc/codenames.md)).
+C201 (more known under a name [*veyron speedy*](../misc/codenames.html)).
 Since the device ships with Coreboot, the installation
 instructions are the same before and after flashing Libreboot for the
 first time.
@ -221,4 +221,4 @@ Debian is recommended for this device (which is on that list.
 See <https://wiki.debian.org/InstallingDebianOn/Asus/C201>.
 Also look at the HCL entry for operating systems (Debian, Devuan, Parabola):
-<https://libreboot.srht.site/docs/hardware/c201.md>
+<https://libreboot.srht.site/docs/hardware/c201.html>
--- a/site/docs/install/d510mo.md
+++ b/site/docs/install/d510mo.md
@ -18,4 +18,4 @@ Use this to find out:
 Flashing instructions {#clip}
 =====================
-Refer to [spi.md](spi.md) for how to re-flash externally.
+Refer to [spi.html](spi.html) for how to re-flash externally.
--- a/site/docs/install/d945gclf.md
+++ b/site/docs/install/d945gclf.md
@ -9,12 +9,12 @@ motherboard while they still have the original BIOS present.
 D945GCLF2D also reported working by a user.
 For information about this board, go to
-[../hardware/d945gclf.md](../hardware/d945gclf.md)
+[../hardware/d945gclf.html](../hardware/d945gclf.html)
 Flashing instructions {#clip}
 =====================
-Refer to [spi.md](spi.md) for how to re-flash externally.
+Refer to [spi.html](spi.html) for how to re-flash externally.
 Here is an image of the flash chip:\
 ![](../../img/d945gclf/d945gclf_spi.jpg)
--- a/site/docs/install/ga-g41m-es2l.md
+++ b/site/docs/install/ga-g41m-es2l.md
@ -16,7 +16,7 @@ Use this to find out:
 Flashing instructions {#clip}
 =====================
-Refer to [spi.md](spi.md) for how to set up an SPI programmer for
+Refer to [spi.html](spi.html) for how to set up an SPI programmer for
 external flashing. *You can only externally reprogram one of the chips
 at a time, and you need to disable the chip that you're not flashing,
 by connecting 3v3 to /CS of that chip, so you will actually need second test
--- a/site/docs/install/ich9utils.md
+++ b/site/docs/install/ich9utils.md
@ -15,7 +15,7 @@ fully disabled.
 ich9utils is handled by the `lbmk` (libreboot-make) build system, but the code
 itself is hosted in a separate repository. You can check the Git repositories
-linked on [../../git.md](../../git.md) if you wish to download and use it.
+linked on [../../git.html](../../git.html) if you wish to download and use it.
 It is very *uncommon*, on GM45/ICH9M systems, to have an Intel Flash Descriptor
 and GbE but *without* an Intel ME. On *most* of these systems (without Libreboot,
@ -54,7 +54,7 @@ Another project: <http://io.netgarage.org/me/>
 ich9utils
 =========
-You can find `ich9utils` on the [Git page](../../git.md) or you can download
+You can find `ich9utils` on the [Git page](../../git.html) or you can download
 `lbmk` from the same page and run the following command in there:
    ./build module ich9utils
@ -257,7 +257,7 @@ need for a` factory.rom` dump!
 You should now have a **libreboot.rom** image containing the correct 4K
 descriptor and 8K gbe regions, which will then be safe to flash. Refer
-back to [index.md/\#gm45](index.md/#gm45) for how to flash
+back to [index.html/\#gm45](index.html/#gm45) for how to flash
 it.
 demefactory utility {#demefactory}
--- a/site/docs/install/index.md
+++ b/site/docs/install/index.md
@ -134,7 +134,7 @@ The MAC address is stored in a region of the boot flashed called *GbE NVM*
 which is short for *gigabit ethernet non-volatile memory*. Refer to the
 following article:
-[ich9utils documentation](ich9utils.md)
+[ich9utils documentation](ich9utils.html)
 GNU Boot puts a default MAC address in the available ROM images, but this is
 a generic MAC address and it's identical on every ROM image. Technically, you
@ -227,14 +227,14 @@ the sections below:
 #### If your boot flash is currently write-protected
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 #### Lenovo ThinkPad X200/X200S/X200T/T400/T400S/T500/W500/R400/R500 running non-free Lenovo BIOS
 If you're running one of these, it cannot be flashed internally if you're still
 running the non-free Lenovo BIOS firmware.
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 See notes further down on this page. We have guides for specific thinkpads,
 related to disassembly and reassembly so that you can access the flash.
@ -245,11 +245,11 @@ Intel NIC.
 #### Intel D510MO and D410PT running non-free Intel BIOS
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 D410PT is more or less the same board as D510MO, but we would like more info
 about this board. If you have a D410PT mainboard, please [contact the GNU Boot
-project](../../contact.md) before you flash it. When you do so, please reference this
+project](../../contact.html) before you flash it. When you do so, please reference this
 paragraph on this web page.
 #### Gigabyte GA-G41M-ES2l (any firmware)
@ -261,7 +261,7 @@ and you must flash both chips. Refer to the guide:\
 #### Macbook1,1 running non-free Apple EFI firmware
 This laptop requires external flashing. Remove the mainboard and refer to
-the [external flashing guide](spi.md); if GNU Boot is already running, you
+the [external flashing guide](spi.html); if GNU Boot is already running, you
 can flash internally.
 MacBook2,1 can be flashed internally.
@ -279,15 +279,15 @@ example of the push pin as a proof of concept:
 #### ASUS KGPE-D16 running non-free ASUS BIOS
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 #### ASUS KCMA-D8 running non-free ASUS BIOS
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 #### ASUS D945GCLF running non-free Intel BIOS
-[You must flash it externally](spi.md)
+[You must flash it externally](spi.html)
 #### ThinkPad X60/X60S/X60T/T60 with Lenovo BIOS {#flashrom_lenovobios}
@ -305,7 +305,7 @@ Here are a list of targets:
 * ThinkPad T60 with Intel GPU: flash the T60 ROM
 Download and build flashrom, using the instructions
-on [the Git page](../../git.md), and download the `bucts` software using the
+on [the Git page](../../git.html), and download the `bucts` software using the
 notes on that very same page.
 You can replace Lenovo BIOS with GNU Boot, using flashrom running on the host
@ -445,7 +445,7 @@ How to use external flashing equipment
 --------------------------------------
 Refer to the following article:\
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 ASUS KFSN4-DRE
 --------------
@ -467,71 +467,71 @@ iMac5,2 is essentially the same board as Macbook2,1, and it is compatible with
 GNU Boot.
 Refer to the following article:\
-[Macbook2,1 and MacBook1,1 installation guide](../hardware/macbook21.md)
+[Macbook2,1 and MacBook1,1 installation guide](../hardware/macbook21.html)
 iMac5,2 isn't documented but you can find the flash chip on that board quite
 easily. See the generic flashing guide:\
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 TARGET: Gigabyte GA-G41M-ES2L mainboard
 ---------------------------------------
 Refer to the following article:\
-[Gigabyte GA-G41M-ES2L](ga-g41m-es2l.md)
+[Gigabyte GA-G41M-ES2L](ga-g41m-es2l.html)
 TARGET: Intel D510MO and D410PT mainboards
 ------------------------------------------
 Refer to the following article:\
-[Intel D510MO and D410PT boards](d510mo.md)
+[Intel D510MO and D410PT boards](d510mo.html)
 TARGET: Intel D945GCLF mainboard
 --------------------------------
 Refer to the following article:\
-[Intel D945GCLF](d945gclf.md)
+[Intel D945GCLF](d945gclf.html)
 TARGET: ASUS KGPE-D16 mainboard
 -------------------------------
 Refer to the following article:\
-[ASUS KGPE-D16](kgpe-d16.md)
+[ASUS KGPE-D16](kgpe-d16.html)
 TARGET: ASUS KCMA-D8 mainboard
 ------------------------------
 Refer to the following article:\
-[ASUS KCMA-D8](../hardware/kcma-d8.md)
+[ASUS KCMA-D8](../hardware/kcma-d8.html)
 TARGET: ASUS Chromebook C201 laptop
 ----------------------------
 Refer to the following article:\
-[ASUS Chromebook C201](c201.md)
+[ASUS Chromebook C201](c201.html)
 TARGET: Lenovo ThinkPad X60 laptop
 ----------------------------------
 Refer to the following article:\
-[ThinkPad X60](x60_unbrick.md)
+[ThinkPad X60](x60_unbrick.html)
 TARGET: Lenovo ThinkPad X60 Tablet laptop
 -----------------------------------------
 Refer to the following article:\
-[ThinkPad X60 Tablet](x60tablet_unbrick.md)
+[ThinkPad X60 Tablet](x60tablet_unbrick.html)
 TARGET: Lenovo ThinkPad T60 laptop
 ----------------------------------
 Refer to the following article:\
-[ThinkPad T60](t60_unbrick.md)
+[ThinkPad T60](t60_unbrick.html)
 TARGET: Lenovo ThinkPad X200 laptop
 -----------------------------------
 Refer to the following article:\
-[ThinkPad X200](x200_external.md)
+[ThinkPad X200](x200_external.html)
 TARGET: Lenovo ThinkPad X200S or X200 Tablet laptop
 ---------------------------------------------------
@ -540,7 +540,7 @@ Software-wise, identical to regular X200 but SMD rework skills are required.
 You must de-solder the default flash chip, and replace it with another one.
 Refer to the following article:\
-[25xx NOR flashing guide](spi.md)
+[25xx NOR flashing guide](spi.html)
 That guide, linked above, has instructions for how to deal with these machines.
@ -548,7 +548,7 @@ TARGET: Lenovo ThinkPad T400 laptop
 -----------------------------------
 Refer to the following article:\
-[ThinkPad T400](t400_external.md)
+[ThinkPad T400](t400_external.html)
 TARGET: Lenovo ThinkPad T400S laptop
 ------------------------------------
@ -557,13 +557,13 @@ Software-wise, identical to regular T400 but SMD rework skills are required.
 You must de-solder the default flash chip, and replace it with another one.
 Refer to the following article:\
-[25xx NOR flashing guide](spi.md)
+[25xx NOR flashing guide](spi.html)
 TARGET: Lenovo ThinkPad R400 laptop
 -----------------------------------
 Refer to the following article:\
-[ThinkPad R400](r400_external.md)
+[ThinkPad R400](r400_external.html)
 TARGET: Lenovo ThinkPad T500 or W500 laptop
 -------------------------------------------
@ -571,10 +571,10 @@ TARGET: Lenovo ThinkPad T500 or W500 laptop
 These two laptops have identical mainboard, except for a few minor changes.
 Refer to the following article:\
-[ThinkPad T500/W500](t500_external.md)
+[ThinkPad T500/W500](t500_external.html)
 TARGET: Lenovo ThinkPad R500 laptop
 -----------------------------------
 Refer to the following laptop:\
-[ThinkPad R500](../hardware/r500.md)
+[ThinkPad R500](../hardware/r500.html)
--- a/site/docs/install/kgpe-d16.md
+++ b/site/docs/install/kgpe-d16.md
@ -14,14 +14,14 @@ know how to recover.
 recommend avoiding Kingston modules.*
 For more general information about this board, refer to
-[../hardware/kgpe-d16.md](../hardware/kgpe-d16.md).
+[../hardware/kgpe-d16.html](../hardware/kgpe-d16.html).
 TODO: show photos here, and other info.
 External programmer 
 ===================
-Refer to [spi.md](spi.md) for a guide on how to re-flash externally.
+Refer to [spi.html](spi.html) for a guide on how to re-flash externally.
 The flash chip is in a PDIP 8 socket (SPI flash chip) on the
 motherboard, which you take out and then re-flash with libreboot, using
--- a/site/docs/install/r400_external.md
+++ b/site/docs/install/r400_external.md
@ -18,7 +18,7 @@ Libreboot T400 {#t400}
 ==============
 You may also be interested in the smaller, more portable [Libreboot
-T400](t400_external.md).
+T400](t400_external.html).
 Serial port {#serial_port}
 -----------
@ -70,12 +70,12 @@ Use this to find out:
 MAC address {#macaddress}
 ===========
-Refer to [mac\_address.md](../hardware/mac_address.md).
+Refer to [mac\_address.html](../hardware/mac_address.html).
 External flashing
 =================
-Refer to [spi.md](spi.md) as a guide for external re-flashing.
+Refer to [spi.html](spi.html) as a guide for external re-flashing.
 Disassembly
 -----------
@ -160,7 +160,7 @@ next to the memory slots:\
 Now, you should be ready to install libreboot.
-Read [this article](spi.md) to learn how you may flash the chip, which is near
+Read [this article](spi.html) to learn how you may flash the chip, which is near
 to the RAM.
 Thermal paste (IMPORTANT)
--- a/site/docs/install/spi.md
+++ b/site/docs/install/spi.md
@ -182,7 +182,7 @@ You must configure `spidev` on your Raspberry Pi. This is a special driver in
 the Linux kernel; technically, the driver name is `spi-bcm2835`.
 This page has info:\
-<https://www.raspberrypi.org/documentation/hardware/raspberrypi/spi/README.md>
+<https://www.raspberrypi.org/documentation/hardware/raspberrypi/spi/README.html>
 In your Raspberry Pi, which we assume you're running the latest Raspbian version
 on, do this:
@ -722,7 +722,7 @@ flows properly, otherwise the solder will ball up and you won't get a good
 joint.
 In case you're not comfortable with soldering, we have some excellent videos
-linked on the [FAQ page](../../faq.md) which you can watch.
+linked on the [FAQ page](../../faq.html) which you can watch.
 WSON8 IC:\
 ![](../../img/rpi/wson8/0001.jpg)
--- a/site/docs/install/t400_external.md
+++ b/site/docs/install/t400_external.md
@ -71,12 +71,12 @@ Use this to find out:
 MAC address {#macaddress}
 ===========
-Refer to [mac\_address.md](../hardware/mac_address.md).
+Refer to [mac\_address.html](../hardware/mac_address.html).
 How to flash externally
 =========================
-Refer to [spi.md](spi.md) as a guide for external re-flashing.
+Refer to [spi.html](spi.html) as a guide for external re-flashing.
 The procedure
 -------------
@ -173,7 +173,7 @@ Of course, make sure to turn on your PSU:\
 Now, you should be ready to install libreboot.
-Refer to the external flashing instructions [here](spi.md), and when you're
+Refer to the external flashing instructions [here](spi.html), and when you're
 done, re-assemble your laptop.
 Thermal paste (IMPORTANT)
--- a/site/docs/install/t500_external.md
+++ b/site/docs/install/t500_external.md
@ -15,7 +15,7 @@ Libreboot T400 {#t400}
 ==============
 You may also be interested in the smaller, more portable [Libreboot
-T400](t400_external.md).
+T400](t400_external.html).
 Serial port {#serial_port}
 -----------
@ -79,12 +79,12 @@ Use this to find out:
 MAC address {#macaddress}
 ===========
-Refer to [mac\_address.md](../hardware/mac_address.md).
+Refer to [mac\_address.html](../hardware/mac_address.html).
 Initial BBB configuration
 =========================
-Refer to [spi.md](spi.md) as a guide for external re-flashing.
+Refer to [spi.html](spi.html) as a guide for external re-flashing.
 The following shows how to connect clip to the BBB (on the P9 header),
 for SOIC-16 (clip: Pomona 5252):
@ -274,7 +274,7 @@ it is not one you want to use. Make sure to change the MAC address to the one
 that is correct for your system, for **later internal flash**,
 but always remember to **flash unmodfied txtmode image first** as it is known
 to work and only this variant provides memtest. You can follow instructions
-at [ich9utils.md#ich9gen](ich9utils.md#ich9gen)
+at [ich9utils.html#ich9gen](ich9utils.html#ich9gen)
 to change the MAC address inside the libreboot image.
 Now flash it:
--- a/site/docs/install/t60_unbrick.md
+++ b/site/docs/install/t60_unbrick.md
@ -149,7 +149,7 @@ This photo shows the flash chip, near the RAM, with numbers of pins written:
 Refer to the external flashing guide:
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 NOTE: Do not use the 3.3v rail from your SPI programmer. Leave that disconnected.
 For 3.3v, plug your charger into the mainboard (but do not power on the mainboard)
--- a/site/docs/install/x200_external.md
+++ b/site/docs/install/x200_external.md
@ -25,7 +25,7 @@ Run this command on x200 to find out flash chip model and its size:
 MAC address
 ===========
-Refer to [mac\_address.md](../hardware/mac_address.md).
+Refer to [mac\_address.html](../hardware/mac_address.html).
 The procedure
 -------------
@ -57,7 +57,7 @@ connect the clip:\
 Now, you should be ready to install libreboot.
-Refer to the [SPI programming instructions](spi.md).
+Refer to the [SPI programming instructions](spi.html).
 When you're done, put the system back together. If it doesn't boot, try other
 RAM modules because raminit is very unreliable on this platform (in coreboot).
@ -147,4 +147,4 @@ just connect some pogo pins to ground GPIO33, then boot up, run some software
 On a related note, libreboot has a utility that could help with
 investigating this:
-[ich9utils.md#demefactory](ich9utils.md#demefactory)
+[ich9utils.html#demefactory](ich9utils.html#demefactory)
--- a/site/docs/install/x60_unbrick.md
+++ b/site/docs/install/x60_unbrick.md
@ -130,7 +130,7 @@ This photo shows an SPI flasher used, with SOIC8 test clip:\
 ![](../../img/x60/th_bbb_flashing.jpg)
 Refer to the following guide:\
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 NOTE: Do not use the 3.3v rail from your raspberry pi. Leave that disconnected.
 For 3.3v, plug your charger into the mainboard (but do not power on the mainboard)
--- a/site/docs/install/x60tablet_unbrick.md
+++ b/site/docs/install/x60tablet_unbrick.md
@ -110,7 +110,7 @@ This photo shows an SPI flasher used, with SOIC8 test clip:\
 Refer to the external flashing guide:
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 NOTE: Do not use the 3.3v rail from your SPI programmer. Leave that disconnected.
 For 3.3v, plug your charger into the mainboard (but do not power on the mainboard)
--- a/site/docs/misc/index.md
+++ b/site/docs/misc/index.md
@ -20,7 +20,7 @@ Might want to run with --calibrate first
 If powertop doesn't work, another way (reduces battery life slightly)
 is to add *processor.max\_cstate=2* to the *linux* line in grub.cfg,
-using [this guide](../gnulinux/grub_cbfs.md).
+using [this guide](../gnulinux/grub_cbfs.html).
 High Pitched Whining Noise on Idle in Parabola
 ==============================================================
@ -72,7 +72,7 @@ Might want to run with --calibrate first
 If powertop doesn't work, another way (reduces battery life slightly)
 is to add *processor.max\_cstate=2* to the *linux* line in grub.cfg,
-using [this guide](../gnulinux/grub_cbfs.md).
+using [this guide](../gnulinux/grub_cbfs.html).
 X60/T60: Serial port - how to use (for dock owners)
@ -112,7 +112,7 @@ repos. Use Debian or Devuan)
 Note: part of the tutorial above requires changing your grub.cfg. Just
 change the `linux` line to add instructions for enabling getty. See
-[../gnulinux/grub\_cbfs.md](../gnulinux/grub_cbfs.md).
+[../gnulinux/grub\_cbfs.html](../gnulinux/grub_cbfs.html).
 Finetune backlight control on intel gpu's
 =========================================
--- a/site/download.md
+++ b/site/download.md
@ -6,7 +6,7 @@ x-unreviewed: true
 New releases are announced in the [main news section](news/).
 If you're more interested in GNU Boot development, go to the
-[GNU Boot development page](../git.md), which also includes links to the
+[GNU Boot development page](../git.html), which also includes links to the
 Git repositories. If you wish to build GNU Boot from source,
 [read this page](docs/build/).
@ -34,7 +34,7 @@ Links to regular release archives are listed on this page.
 However, for the absolute most bleeding edge up-to-date version of GNU Boot,
 there is a Git repository that you can download from. Go here:
-[How to download GNU Boot from Git](git.md)
+[How to download GNU Boot from Git](git.html)
 FTP mirrors {#ftp}
 -------------
--- a/site/faq.md
+++ b/site/faq.md
@ -19,7 +19,7 @@ Do not use CH341A!
 This SPI flasher will damage your chip, and the mainboard that it is connected
 to.
-Read the notes about CH341A on [docs/install/spi.md](docs/install/spi.md) to
+Read the notes about CH341A on [docs/install/spi.html](docs/install/spi.html) to
 learn more.
 Flashrom complains about DEVMEM access
@ -89,7 +89,7 @@ system that uses BusyBox and the Linux kernel, which goes in the boot flash as a
 coreboot payload. You can insert it into your GNU Boot image using cbfstool, if
 it's big enough. On KCMA-D8/KGPE-D16 it's trivial to upgrade the boot flash to
 16MiB, which is more than enough to fit LinuxBoot. See:\
-[External flashing guide](docs/install/spi.md)
+[External flashing guide](docs/install/spi.html)
 LinuxBoot has many advanced features. It provides a bootloader called uroot,
 which can boot other Linux kernels using kexec. It can parse GNU GRUB configs,
@ -305,7 +305,7 @@ an attacker exploiting any of these vulnerabilities may gain access to
 everything on the PC as it runs: all open files, all running
 applications, all keys pressed, and more.
-[Intel Boot Guard](https://mjg59.dreamwidth.org/33981.md) is an ME
+[Intel Boot Guard](https://mjg59.dreamwidth.org/33981.html) is an ME
 application introduced in Q2 2013 with ME firmware version 9.0 on 4th
 Generation Intel Core i3/i5/i7 (Haswell) CPUs. It allows a PC OEM to
 generate an asymmetric cryptographic keypair, install the public key in
@ -348,10 +348,10 @@ privacy that can't be ignored.
 Before version 6.0 (that is, on systems from 2008/2009 and earlier), the
 ME can be disabled by setting a couple of values in the SPI flash
 memory. The ME firmware can then be removed entirely from the flash
-memory space. GNU Boot [does this](docs/install/ich9utils.md) on
+memory space. GNU Boot [does this](docs/install/ich9utils.html) on
 the Intel 4 Series systems that it supports, such as the [GNU Boot
-X200](../docs/install/x200_external.md) and [GNU Boot
+X200](../docs/install/x200_external.html) and [GNU Boot
-T400](../docs/install/t400_external.md). ME firmware versions 6.0 and
+T400](../docs/install/t400_external.html). ME firmware versions 6.0 and
 later, which are found on all systems with an Intel Core i3/i5/i7 CPU
 and a PCH, include "ME Ignition" firmware that performs some hardware
 initialization and power management. If the ME's boot ROM does not find
@ -496,7 +496,7 @@ main issues are as follows:
 [We call on AMD to release source code and specs for the new AMD Ryzen
 platforms! We call on the community to put pressure on AMD. Click here
-to read more](amd-libre.md)
+to read more](amd-libre.html)
 ### AMD Platform Security Processor (PSP) 
@ -690,7 +690,7 @@ How do I program an SPI flash chip?
 ---------------------------------------------------------------------------------
 Refer to:\
-[Externally rewrite 25xx NOR flash via SPI protocol](spi.md)
+[Externally rewrite 25xx NOR flash via SPI protocol](spi.html)
 It's possible to use a 16-pin SOIC test clip on an 8-pin SOIC chip, if you
 align the pins properly. The connection is generally more sturdy.
@ -707,7 +707,7 @@ On some systems, it is possible to write-protect the firmware, such that
 it is rendered read-only at the OS level (external flashing is still
 possible, using dedicated hardware). For example, on current GM45
 laptops (e.g. ThinkPad X200, T400), you can write-protect (see
-[ICH9 gen utility](docs/install/ich9utils.md#ich9gen)).
+[ICH9 gen utility](docs/install/ich9utils.html#ich9gen)).
 It's possible to write-protect on all GNU Boot systems, but the instructions
 need to be written. The documentation is in the main git repository, so you are
@ -804,7 +804,7 @@ boot just fine, using the bootloader (GRUB) that is in the flash chip.
 This also means that even if you remove the HDD or SSD, you'll still
 have a functioning bootloader installed which could be used to boot a
 live distribution installer from a USB flash drive. See
-[How to install GNU+Linux on a GNU Boot system](../docs/gnulinux/grub_boot_installer.md)
+[How to install GNU+Linux on a GNU Boot system](../docs/gnulinux/grub_boot_installer.html)
 Nowadays, other payloads are also provided. If you're using the SeaBIOS payload,
 then the normal MBR bootsector is used on your HDD or SSD, like you would
@ -818,7 +818,7 @@ automatically switch to a GRUB configuration on the HDD or SSD, if it
 exists. You can also load a different GRUB configuration, from any kind
 of device that is supported in GRUB (such as a USB flash drive). For
 more information, see
-[Modifying the GRUB Configuration in GNU Boot Systems](../docs/gnulinux/grub_cbfs.md)
+[Modifying the GRUB Configuration in GNU Boot Systems](../docs/gnulinux/grub_cbfs.html)
 If you're using the SeaBIOS payload, it's even easier. It works just like you
 would expect. SeaBIOS implements a normal x86 BIOS interface.
@ -827,12 +827,12 @@ What does a flash chip look like?
 -----------------------------------------------------------------
 You can find photos of various chip types on the following page:\
-[External 25xx NOR flashing guide](docs/install/spi.md)
+[External 25xx NOR flashing guide](docs/install/spi.html)
 Who did the logo?
 ----------------------------------------------------------------
-See the [license information](../../img/logo/license.md).
+See the [license information](../../img/logo/license.html).
 The Libreboot logo is available as a [bitmap](../../img/logo/logo.png), a
 [vector](../../img/logo/logo.svg), or a [greyscale vector](../../img/logo/logo_grey.svg).
@ -1006,8 +1006,8 @@ connect SATA HDDs via USB. GNU Boot documents how to install several
 distributions with full disk encryption. You can adapt these for use
 with USB drives:
-   [Full disk encryption with Debian](../docs/gnulinux/encrypted_debian.md)
+-   [Full disk encryption with Debian](../docs/gnulinux/encrypted_debian.html)
-   [Full disk encryption with Parabola](../docs/gnulinux/encrypted_parabola.md)
+-   [Full disk encryption with Parabola](../docs/gnulinux/encrypted_parabola.html)
 The current theory (unproven) is that this will at least prevent
 malicious drives from wrongly manipulating data being read from or
@ -1110,8 +1110,8 @@ Can I use GNU+Linux?
 --------------------------------------------------
 Absolutely! It is well-tested in GNU Boot, and highly recommended. See
-[installing GNU+Linux](../docs/gnulinux/grub_boot_installer.md) and
+[installing GNU+Linux](../docs/gnulinux/grub_boot_installer.html) and
-[booting GNU+Linux](../docs/gnulinux/grub_cbfs.md).
+[booting GNU+Linux](../docs/gnulinux/grub_cbfs.html).
 Any recent distribution should work, as long as it uses KMS (kernel mode
 setting) for the graphics.
--- a/site/footer.include
+++ b/site/footer.include
@ -1,11 +1,11 @@
 -------------------------------------------------------------------------------
-* [Edit this page](/software/gnuboot/web/git.md)
+* [Edit this page](/software/gnuboot/web/git.html)
-* [License](/software/gnuboot/web/license.md)
+* [License](/software/gnuboot/web/license.html)
-* [Template](/software/gnuboot/web/template-license.md)
+* [Template](/software/gnuboot/web/template-license.html)
-* [Logo](/software/gnuboot/web/logo-license.md)
+* [Logo](/software/gnuboot/web/logo-license.html)
-* [Authors](/software/gnuboot/web/contrib.md)
+* [Authors](/software/gnuboot/web/contrib.html)
 -------------------------------------------------------------------------------
--- a/site/license.md
+++ b/site/license.md
@ -20,7 +20,7 @@ You can also find the license here:
 <https://www.gnu.org/licenses/fdl-1.3.en.html>
 The markdown version, hosted by the GNU project, can be found here:
-<https://www.gnu.org/licenses/fdl-1.3.md>
+<https://www.gnu.org/licenses/fdl-1.3.html>
 The *unmodified* license text is as follows:
--- a/site/news/libreboot20140711.md
+++ b/site/news/libreboot20140711.md
@ -44,7 +44,7 @@ Revisions for r20140711 (1st beta) (11th July 2014)
    (there is no dock or serial port available for macbook21)
 -   Added patches for backlight controls on X60 and T60 with help from
    Denis Carikli (see ./resources/libreboot/patch/gitdiff and ./getcb
-    and docs/i945\_backlight.md)
+    and docs/i945\_backlight.html)
    -   Documentation: added docs/i945\_backlight.html showing how
        backlight controls were made to work on X60/T60
 -   Documentation: Added info about getting LCD panel name based on EDID
--- a/site/news/libreboot20150126.md
+++ b/site/news/libreboot20150126.md
@ -47,11 +47,11 @@ changes:
 -   grub.cfg: hardcode the list of partitions to search (speeds up
    booting considerably. GRUB regexp isn't very well optimized)
 -   Docs (x200.html hcl): Remove incorrect information
-   Documentation (bbb\_setup.md): Fix typos
+-   Documentation (bbb\_setup.html): Fix typos
 -   build-release: delete ich9fdgbe\_{4m,8m}.bin files from ich9gen
    -   These were accidentically included in the r20150124 release.
        They are generated from ich9gen so it's ok, but they don't
        need to be in the archive.
-   Documentation (grub\_cbfs.md): Looping in libreboot\_grub.cfg (Add
+-   Documentation (grub\_cbfs.html): Looping in libreboot\_grub.cfg (Add
    notes about it if the user copied from grub.cfg in CBFS.)
--- a/site/tasks/index.md
+++ b/site/tasks/index.md
@ -34,10 +34,10 @@ just boots up as normal.
 Here are links to the guides that were deleted:
-* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/guix_system.md>
+* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/guix_system.html>
-* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_trisquel.md>
+* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_trisquel.html>
-* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_parabola.md>
+* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_parabola.html>
-* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/configuring_parabola.md>
+* <https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/configuring_parabola.html>
 The Trisquel one will be almost identical to the Debian one, with perhaps a few
 extra considerations taken. It's recommended to focus on Debian first, and
@ -46,13 +46,13 @@ guide can also be adapted for the Ubuntu site. This will cover most Ubuntu and
 Debian based distros.
 The remaining Debian guide is here:
-<https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_debian.md>
+<https://notabug.org/libreboot/lbwww/src/8844c201ef0d1ab856fed2aa5148b89100fffe0d/site/docs/gnulinux/encrypted_debian.html>
 Document other RPi GNU+Linux distros for SPI flashing
 -----------------------------------------------------
 See:
-[../docs/install/spi.md#caution-about-rpi](../docs/install/spi.md#caution-about-rpi)
+[../docs/install/spi.html#caution-about-rpi](../docs/install/spi.html#caution-about-rpi)
 RPi's default distro, Raspbian, no longer can be trusted to be secure. TODO:
 document how to use other distros, to configure the RPi for SPI flashing.