1#!/usr/bin/env python
2
3import time
4import sys
5
6time = time.gmtime()
7print("/* This file was generated by mkhelp.py from less.hlp at "\
8    "%d:%02d GMT on %d/%d/%d */\n" %
9    (time.tm_hour, time.tm_min, time.tm_year, time.tm_mon, time.tm_mday))
10print("#include \"less.h\"")
11print("constant char helpdata[] = {")
12ch = 0
13while True:
14    prevch = ch
15    ch = sys.stdin.read(1)
16    if ch == '':
17        break
18    if (ch == "'"):
19         print("'\\'',", end='')
20    elif (ch == "\\"):
21        print("'\\\\',", end='')
22    elif (ch == "\b"):
23        print ("'\\b',", end='')
24    elif (ch == "\t"):
25        print ("'\\t',", end='')
26    elif (ch == "\n"):
27        if prevch != "\r": print("'\\n',")
28    elif (ch == "\r"):
29        if prevch != "\n": print("'\\n',")
30    else:
31        if ((ord(ch) >= ord(' ')) and (ord(ch) < 0x7f)):
32            print(f"'{ch}',", end='')
33        else:
34            print("0x%02x," % ord(ch), end='')
35print(" '\\0' };")
36print("constant int size_helpdata = sizeof(helpdata) - 1;")
37