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