> doc: Use a recent texinfo.tex.
Oops, after this upgrade, texinfo.tex produces yet another empty file, that
"make clean" needs to remove.
2011-05-28 Bruno Haible
doc: Cleanup yet another file produced by texinfo.tex.
* doc/Makefile (mostlyclean): Remove also gnulib.cn.
Paul Eggert wrote:
> +that behavior is undefined for shifts unless 0@leq{}@var{b}<@var{w}
This addition leads to a "make" error in the doc directory for me:
$ make
...
./intprops.texi:243: Missing $ inserted.
$
@leq
l.243 ...vior is undefined for shifts unl
* doc/intprops.texi: New file, documenting intprops.
* doc/gnulib.texi (Particular Modules): Include it.
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index d6e43d8..fef0d76 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -6497,6 +6497,7 @@ This list of functions is sorted according to the h
