From e82f6254d1f898595eee119b348119bf4d070cbc Mon Sep 17 00:00:00 2001 From: yoogx Date: Tue, 3 Jan 2017 23:15:45 +0100 Subject: [PATCH] * version.texi no longer generated --- doc/polyorb-hi-ada_ug.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/polyorb-hi-ada_ug.texi b/doc/polyorb-hi-ada_ug.texi index 9325c17..6e120c6 100644 --- a/doc/polyorb-hi-ada_ug.texi +++ b/doc/polyorb-hi-ada_ug.texi @@ -2,7 +2,7 @@ @c $Id: polyorb-hi-ada_ug.texi 7043 2009-10-08 14:20:49Z hugues $ -@include version.texi +@c @include version.texi @setfilename polyorb-hi-ada_ug.info @settitle PolyORB-HI User's Guide -- GitLab