From 7cf9b522b5d2735b5279e9c2bdcade5c177868f8 Mon Sep 17 00:00:00 2001
From: Miran <narimiran@disroot.org>
Date: Mon, 10 Jun 2019 12:54:43 +0200
Subject: [PATCH] [bugfix] rename Nimrod to Nim, fix #11460 (#11462)

---
 config/nimdoc.tex.cfg | 2 +-
 doc/nimdoc.css        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/config/nimdoc.tex.cfg b/config/nimdoc.tex.cfg
index 599ede345..76fef4afa 100644
--- a/config/nimdoc.tex.cfg
+++ b/config/nimdoc.tex.cfg
@@ -39,7 +39,7 @@ $content
 """
 
 doc.file = """
-% This file was generated by Nimrod.
+% This file was generated by Nim.
 % Generated: $date $time UTC
 \documentclass[a4paper]{article}
 \usepackage[left=2cm,right=3cm,top=3cm,bottom=3cm]{geometry}
diff --git a/doc/nimdoc.css b/doc/nimdoc.css
index a002b6be1..a8be5756b 100644
--- a/doc/nimdoc.css
+++ b/doc/nimdoc.css
@@ -17,7 +17,7 @@ customize this style sheet.
 */
 
 /*
-   Modified for the Nimrod Documenation by
+   Modified for the Nim Documenation by
    Andreas Rumpf
 */