From 352660262dfd05cc75b5f2099507c9f29953a270 Mon Sep 17 00:00:00 2001 From: Wohlstand Date: Sat, 21 Oct 2017 01:10:15 +0300 Subject: Move old files from root into separated folder --- _old_files/docmaker.php | 125 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 125 insertions(+) create mode 100644 _old_files/docmaker.php (limited to '_old_files/docmaker.php') diff --git a/_old_files/docmaker.php b/_old_files/docmaker.php new file mode 100644 index 0000000..4576ed9 --- /dev/null +++ b/_old_files/docmaker.php @@ -0,0 +1,125 @@ + + + <?=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