Re: [Tinycc-devel] Option number is ambiguous (number-footnotes, number-sections) (texi2html) (patch)

[Austin English]

On Fri, Feb 15, 2013 at 5:42 PM, Thomas Preud'homme <address@hidden> wrote:
> Le vendredi 15 février 2013 19:14:23, Austin English a écrit :
>> This was around before 0.9.26, but I forgot to report it:
>>
>> make[1]: Leaving directory `/home/austin/src/tinycc/lib'
>> ./texi2pod.pl tcc-doc.texi tcc.pod
>> pod2man --section=1 --center=" " --release=" " tcc.pod > tcc.1
>> texi2html -monolithic -number tcc-doc.texi
>> Option number is ambiguous (number-footnotes, number-sections)
>> Try `texi2html --help' for more information.
>> make: [tcc-doc.html] Error 2 (ignored)
>> makeinfo tcc-doc.texi
>>
>> address@hidden ~/src/tinycc $ texi2html --version
>> 5.0
>>
>> address@hidden ~/src/tinycc $ uname -a
>> Linux aw25 3.5.3-gentoo #4 SMP Wed Oct 24 21:55:24 PDT 2012 x86_64
>> Intel(R) Core(TM) i7 CPU 960 @ 3.20GHz GenuineIntel GNU/Linux
>>
>> The following patch fixes it:
>> diff --git a/Makefile b/Makefile
>> index 705b585..9376132 100644
>> --- a/Makefile
>> +++ b/Makefile
>> @@ -300,7 +300,7 @@ endif
>>
>>  # documentation and man page
>>  tcc-doc.html: tcc-doc.texi
>> -     -texi2html -monolithic -number $<
>> +     -texi2html -monolithic -number-sections $<
>>
>>  tcc.1: tcc-doc.texi
>>       -$(top_srcdir)/texi2pod.pl $< tcc.pod
>
> Go ahead and commit it to the mob branch. As I said I'd like to release more
> often, around 1 release a year like before. Let's make the next release even
> better than this one :)
>
> Best regards,
>
> Thomas

It fails to push:
address@hidden:~/src/tinycc$ git push
ssh://address@hidden/srv/git/tinycc.git docfix:mob
Counting objects: 5, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 320 bytes, done.
Total 3 (delta 2), reused 0 (delta 0)
The mob user cannot _create_ the 'mob' branch, sorry
error: hooks/update exited with error code 2
error: hook declined to update refs/heads/mob
To ssh://address@hidden/srv/git/tinycc.git
 ! [remote rejected] docfix -> mob (hook declined)
error: failed to push some refs to 'ssh://address@hidden/srv/git/tinycc.git'

may be related to the problem someone else posted of not being able to
do a git pull?

-- 
-Austin