#!/usr/bin/env python

# Script to extract the distribution date from update.log

import sys, string

if len(sys.argv) > 1:
    package = sys.argv[1]
else:
    package = "OMNIORB"

line = sys.stdin.readline()

while line == "\n":
    line = sys.stdin.readline()

line = string.strip(line)

output = """\
// distdate.hh -- Automatically generated file

#define %s_DIST_DATE "%s"
"""

print output % (package, line)