Remove extra Page

[rbdr/r.bdr.sh] / index.gmi

diff --git a/index.gmi b/index.gmi
index 769cf3cfb13bb1dde4ddd6a3dc675adc169f6c6a..5b042c91366d92e46dbb884ddd4f4f6ba61d8836 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -47,10 +47,9 @@ A command line tool to manage and publish an (almost) ephemeral https blog with
 
 ### Page
 A command line tool to generate HTML and static gemini websites from .gmi files
+=> /page.gmi ./page.gmi
 => https://git.unlimited.pizza/rbdr/page page source code
 
-### Page
-
 ## Libraries
 ### Patterns
 MacPaint style pattern views for SwiftUI
@@ -95,7 +94,7 @@ Older versions of the plugin exist for other editors, though they support an old
 ### NGINX Office Hours
 A victory for the server's labor rights: An nginx module that allows you to serve your content only during office hours.
 
-=> https://git.unlimited.pizza/rbdr/ngx_http_office_hours_filter_module ngx_http_office_hours_filter_module
+=> ./nginx_office_hours.gmi ./nginx_office_hours.gmi
 
 ### Junction
 A browser extension that lets you start audio calls on any URL.