From 32b8a3416bac61211b0d31f78a5efdbcaa4fdda5 Mon Sep 17 00:00:00 2001
From: creme <creme@envs.net>
Date: Tue, 14 Jan 2020 20:44:19 +0000
Subject: [PATCH] change banner name for html version

---
 banner.txt      | 2 +-
 banner_html.txt | 4 ++++
 index.php       | 2 +-
 3 files changed, 6 insertions(+), 2 deletions(-)
 create mode 100644 banner_html.txt

diff --git a/banner.txt b/banner.txt
index f0661c6..3f4ec04 100644
--- a/banner.txt
+++ b/banner.txt
@@ -1,4 +1,4 @@
                               __
  ___ ___ _  _____   ___  ___ / /_
-/ -_) _ \ |/ (_-&lt;_ / _ \/ -_) __/
+/ -_) _ \ |/ (_-<_ / _ \/ -_) __/
 \__/_//_/___/___(_)_//_/\__/\__/
diff --git a/banner_html.txt b/banner_html.txt
new file mode 100644
index 0000000..f0661c6
--- /dev/null
+++ b/banner_html.txt
@@ -0,0 +1,4 @@
+                              __
+ ___ ___ _  _____   ___  ___ / /_
+/ -_) _ \ |/ (_-&lt;_ / _ \/ -_) __/
+\__/_//_/___/___(_)_//_/\__/\__/
diff --git a/index.php b/index.php
index cef84ce..279627f 100644
--- a/index.php
+++ b/index.php
@@ -34,7 +34,7 @@ include 'header.php';
       <div id="main" style="padding-bottom: 1em;">
 
 <pre class="banner">
-<?php include 'banner.txt'; ?>
+<?php include 'banner_html.txt'; ?>
         <small><em>environments - since 9/2019</em></small>
 
 </pre>