Remove extra Page

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

diff --git a/index.gmi b/index.gmi
index 7bc49e19c381a560f8c50f69bbd54fc700954607..5b042c91366d92e46dbb884ddd4f4f6ba61d8836 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -50,8 +50,6 @@ 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
@@ -96,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.