@c defs.inc                         -*- texinfo -*-
@c Common and build specific constants for the manuals.
@c This file has been created by mkdefsinc.

@ifclear defsincincluded
@set defsincincluded 1


@c Flags


@c Directories


@c Version information a la version.texi

@set UPDATED 3 December 2018
@set UPDATED-MONTH December 2018
@set EDITION 1.13.1-unknown
@set VERSION 1.13.1-unknown

@c Macros


@end ifclear

@c Local Variables:
@c buffer-read-only: t
@c End: