> Yes, it is. But I need the distinction if the current version got
> there just now (in HEAD) or previously.
So just a "yes/no" kind of information? I wonder what you use it for.
>> [ This assumes that the `:manual ...` thingy does
>> successfully&correctly build the docs. ]
>
> This is where I'm not sure. At least it doesn't seem to have an effect
> when running "make auctex.tar" locally (as said in my other mail). The
> tar file only contains the *.info files and the dir file in doc/ which
> are build by running "make all".
Duh: it's `:doc`, not `:manual`!
Sorry!
Stefan
