change .html links to .md links, everywhere

4 files changed, 17 insertions, 16 deletions

diff --git a/www/amd-libre.md b/www/amd-libre.md
index 13c3b90f..b18e61aa 100644
--- a/www/amd-libre.md
+++ b/www/amd-libre.md
@@ -102,7 +102,7 @@ manufacturer that cares for our freedoms to use our computers without
 proprietary software.
 
 Even low-end hardware like the BeagleBone or Raspberry Pi ([which can be
-liberated](https://blog.rosenzweig.io/blobless-linux-on-the-pi.html))
+liberated](https://blog.rosenzweig.io/blobless-linux-on-the-pi.md))
 shows that libre technology is profitable, and desired by the community.
 
 Then look at the Google Chromebooks. These devices come with coreboot
diff --git a/www/faq.md b/www/faq.md
index 1536a148..9091ad2c 100644
--- a/www/faq.md
+++ b/www/faq.md
@@ -137,7 +137,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.html) is an ME
+[Intel Boot Guard](https://mjg59.dreamwidth.org/33981.md) 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
@@ -180,10 +180,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. libreboot [does this](../docs/hardware/gm45_remove_me.html) on
+memory space. libreboot [does this](../docs/hardware/gm45_remove_me.md) on
 the Intel 4 Series systems that it supports, such as the [Libreboot
-X200](../docs/install/x200_external.html) and [Libreboot
-T400](../docs/install/t400_external.html). ME firmware versions 6.0 and
+X200](../docs/install/x200_external.md) and [Libreboot
+T400](../docs/install/t400_external.md). 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
@@ -517,8 +517,8 @@ How do I program an SPI flash chip?
 ---------------------------------------------------------------------------------
 
 SPI flash chips can be programmed with the [BeagleBone
-Black](../docs/install/bbb_setup.html) or the [Raspberry
-Pi](../docs/install/rpi_setup.html).
+Black](../docs/install/bbb_setup.md) or the [Raspberry
+Pi](../docs/install/rpi_setup.md).
 
 How do I set a boot password?
 -------------------------------------------------------------------
@@ -527,9 +527,9 @@ If you are using the GRUB payload, you can add a username and password
 (salted, hashed) to your GRUB configuration that resides inside the
 flash chip. The following guides (which also cover full disk encryption,
 including the /boot/ directory) show how to set a boot password in GRUB:
-[../docs/gnulinux/encrypted\_debian.html](../docs/gnulinux/encrypted_debian.html)
+[../docs/gnulinux/encrypted\_debian.md](../docs/gnulinux/encrypted_debian.md)
 and
-[../docs/gnulinux/encrypted\_parabola.html](../docs/gnulinux/encrypted_parabola.html)
+[../docs/gnulinux/encrypted\_parabola.md](../docs/gnulinux/encrypted_parabola.md)
 
 How do I write-protect the flash chip?
 ----------------------------------------------------------------------------
@@ -592,7 +592,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
-[\.../docs/gnulinux/grub\_boot\_installer.html](../docs/gnulinux/grub_boot_installer.html)
+[\.../docs/gnulinux/grub\_boot\_installer.md](../docs/gnulinux/grub_boot_installer.md)
 
 Do I need to re-flash when I re-install a distribution?
 -------------------------------------------------------------------------------------------
@@ -602,7 +602,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
-[../docs/gnulinux/grub\_cbfs.html](../docs/gnulinux/grub_cbfs.html)
+[../docs/gnulinux/grub\_cbfs.md](../docs/gnulinux/grub_cbfs.md)
 
 What does a flash chip look like?
 -----------------------------------------------------------------
@@ -795,9 +795,9 @@ distributions with full disk encryption. You can adapt these for use
 with USB drives:
 
 -   [Full disk encryption with
-    Debian](../docs/gnulinux/encrypted_debian.html)
+    Debian](../docs/gnulinux/encrypted_debian.md)
 -   [Full disk encryption with
-    Parabola](../docs/gnulinux/encrypted_parabola.html)
+    Parabola](../docs/gnulinux/encrypted_parabola.md)
 
 The current theory (unproven) is that this will at least prevent
 malicious drives from wrongly manipulating data being read from or
@@ -900,8 +900,8 @@ Can I use GNU+Linux?
 --------------------------------------------------
 
 Absolutely! It is well-tested in libreboot, and highly recommended. See
-[installing GNU+Linux](../docs/gnulinux/grub_boot_installer.html) and
-[booting GNU+Linux](../docs/gnulinux/grub_cbfs.html).
+[installing GNU+Linux](../docs/gnulinux/grub_boot_installer.md) and
+[booting GNU+Linux](../docs/gnulinux/grub_cbfs.md).
 
 Any recent distribution should work, as long as it uses KMS (kernel mode
 setting) for the graphics.
diff --git a/www/publish.sh b/www/publish.sh
index ab9147fc..90d52288 100755
--- a/www/publish.sh
+++ b/www/publish.sh
@@ -40,6 +40,7 @@ echo "[License](/license.md)" >> temp.md
 
 # change out .md -> .html
 sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*)/.html\1)/g'
+sed temp.md -i -e 's/\.md\(#[a-z\-]*\)*]/.html\1]/g'
 
 # work around issue #2872
 TOC=$(grep -q "^x-toc-enable: true$" temp.md && echo "--toc --toc-depth=2") || TOC=""
diff --git a/www/rsync.md b/www/rsync.md
index 550cff80..5dc7efe9 100644
--- a/www/rsync.md
+++ b/www/rsync.md
@@ -45,7 +45,7 @@ mirror.si, Slovenia (backup mirror)
 /path/to/docroot/libreboot/**
 
 Are you running a mirror? Contact the libreboot project, and the link will be
-added to the [download](download.html) page.
+added to the [download](download.md) page.
 
 Libreboot includes statically linked executables. If you need the
 sources for those statically linked dependencies inside the executables,