Add nginx_office_hours page

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

diff --git a/index.gmi b/index.gmi
index 769cf3cfb13bb1dde4ddd6a3dc675adc169f6c6a..459440c5b5bc13e49a86600646afa75055064dc9 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -47,6 +47,7 @@ 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
 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
 => https://git.unlimited.pizza/rbdr/page page source code
 
 ### Page


@@ -95,7 +96,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.
 
 ### 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.
 
 ### Junction
 A browser extension that lets you start audio calls on any URL.