Commit 6294c68e authored by unknown's avatar unknown
Browse files

Bootstrap: 

  Add new manual.texi include files


Build-tools/Bootstrap:
  Add new manual.texi include files
parent a20f2382

Build-tools/Bootstrap

+1 −1
Original line number Diff line number Diff line
@@ -278,7 +278,7 @@ if (defined $opt_changelog) 
unless ($opt_skip_manual)

{

	&logger("Updating manual files");

	foreach $file qw/internals manual reservedwords/

	foreach $file qw/internals manual reservedwords errmsg-table cl-errmsg-table/

	{

		system ("bk cat $opt_docdir/Docs/$file.texi > $target_dir/Docs/$file.texi") == 0

		or &abort("Could not update $file.texi in $target_dir/Docs/!");