Display the changes in cross-options.texi.

	* build-aux/cross-options.pl ($sep): New, to separate items.
	* doc/local.mk ($(CROSS_OPTIONS_TEXI)): Use diff to display the
	changes.

1 files changed, 3 insertions, 0 deletions

diff --git a/build-aux/cross-options.pl b/build-aux/cross-options.pl
index 478303d5..6d153a05 100755
--- a/build-aux/cross-options.pl
+++ b/build-aux/cross-options.pl
@@ -58,9 +58,12 @@ while (<STDIN>)
     }
 }
 
+my $sep = '';
 foreach my $long (sort keys %option)
 {
     # Avoid trailing spaces.
+    print $sep;
+    $sep = "\n";
     print '@item @option{', $long, "}\n\@tab";
     print ' @option{', $option{$long}, '}' if $option{$long};
     print "\n\@tab";