From 07967bf0ac578a2d25dddf86af55050ecca984f4 Mon Sep 17 00:00:00 2001 From: Johannes Stoelp Date: Wed, 5 Jun 2024 23:56:49 +0200 Subject: nginx: allow selecting multiple filter in pub/reference --- roles/webserver/files/www/memzero/pub/.gen.sh | 81 +++++++++++++--------- .../files/www/memzero/pub/references.html | 81 +++++++++++++--------- 2 files changed, 96 insertions(+), 66 deletions(-) (limited to 'roles') diff --git a/roles/webserver/files/www/memzero/pub/.gen.sh b/roles/webserver/files/www/memzero/pub/.gen.sh index 95e4216..36016f3 100644 --- a/roles/webserver/files/www/memzero/pub/.gen.sh +++ b/roles/webserver/files/www/memzero/pub/.gen.sh @@ -22,51 +22,66 @@ cat < $OUT

Self-hosted collection of frequently referenced documents and specifications. This page provides links to the original sources.

-

filter:

+

filter: