Satish,
Could you please take a look at fixing the docs problem?
Thanks
Barry
On Oct 3, 2012, at 7:46 AM, "Jose E. Roman" <jroman at dsic.upv.es> wrote:
>
> El 03/10/2012, a las 05:06, Barry Smith escribi?:
>
>> I have pushed the change for
>> #define XXXType char* to typedef const char* XXXType; 2f1984a65b4f
>>
>>
>> BTW: the nightly builds are terrible, people are pushing incompletely tested
>> code.
>>
>
> I think this change breaks 'make alldoc'
> The manual page for XXXType no longer contains the available choices.
>
> Jose
>
