From b88fe1d32d89db040d0769ec1246f8b4c1bb8499 Mon Sep 17 00:00:00 2001 From: Andrew David Wong Date: Sat, 19 Jun 2021 21:35:44 -0700 Subject: [PATCH] Rename *.html files to *.md This eases the doc maintenance burden by allowing bulk operations on *.md files without missing intended files (whereas attempting to perform such operations on *all* files can be dangerous due to hidden git files, for example). Since HTMl can validly be embedded in Markdown files, this doesn't affect the way the pages are rendered. --- introduction/{intro.html => intro.md} | 0 introduction/{video-tours.html => video-tours.md} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename introduction/{intro.html => intro.md} (100%) rename introduction/{video-tours.html => video-tours.md} (100%) diff --git a/introduction/intro.html b/introduction/intro.md similarity index 100% rename from introduction/intro.html rename to introduction/intro.md diff --git a/introduction/video-tours.html b/introduction/video-tours.md similarity index 100% rename from introduction/video-tours.html rename to introduction/video-tours.md