From b44ca1bc7b214c0ff4ef12a9cc3c6057af433b5f Mon Sep 17 00:00:00 2001 From: Flamefire Date: Sat, 15 Dec 2018 18:00:47 +0100 Subject: Remove old files --- _old_files/docmaker.php | 125 ------------------------------------------------ 1 file changed, 125 deletions(-) delete mode 100644 _old_files/docmaker.php (limited to '_old_files/docmaker.php') diff --git a/_old_files/docmaker.php b/_old_files/docmaker.php deleted file mode 100644 index 4576ed9..0000000 --- a/_old_files/docmaker.php +++ /dev/null @@ -1,125 +0,0 @@ - - - <?=htmlspecialchars($title)?> - - -

-

0. Contents

- - This is the documentation of . -'.htmlspecialchars($url).'.
- Check there for new versions. -'; -if(isset($git)) -{ - $k .= - '

'. - 'Additionally, the most recent source code (bleeding edge) for '.htmlspecialchars($progname). - ' can also be downloaded by cloning the Git repository'. - ' by:

'; -} -$text['download:99999. Downloading'] = $k; - -include $docformatfn; - -$st1 = stat($docmodulefn); -$st2 = stat('docmaker.php'); -?> -

Generated from - (last updated: )
- with docmaker.php (last updated: )
- at -

- - -/dev/null'); - } - else - print $s; -} -- cgit v1.2.3