Hi!
The Bison's documentation now uses images, including in HTML. gendocs.sh
properly sets up a directory with the images for all the documentation formats.
Unfortunately gnu-web-doc-update fails to add all the new files, because it
fails to discover new directories.
My CVS-skills are, ahem,
Akim Demaille wrote:
> The Bison's documentation now uses images, including in HTML.
> gendocs.sh properly sets up a directory with the images for all the
> documentation formats. Unfortunately gnu-web-doc-update fails to add
> all the new files, because it fails to discover new directories.
>
>
Le 13 déc. 2012 à 15:35, Jim Meyering a écrit :
> Hi Akim!
Hi Jim!
> Thanks for the investigation and report.
> If using --types='?D' makes it work, I'd go with that:
> that seems simpler than changing the external cvsu program.
OK. But it will require some implementation of a fix point.
$
Ah, we all git lovers still forced to deal with that living fossil
of CVS!
Wouldn't it be great if someone could convince the Savannah admin
to switch the web pages repository to a modern, distributed VCS?
(Me ducks and run now ;-).
Regards,
Stefano
Akim Demaille wrote:
> Le 13 déc. 2012 à 15:35, Jim Meyering a écrit :
>
>> Hi Akim!
>
> Hi Jim!
>
>> Thanks for the investigation and report.
>> If using --types='?D' makes it work, I'd go with that:
>> that seems simpler than changing the external cvsu program.
>
> OK. But it will require some
Stefano Lattarini wrote:
> Ah, we all git lovers still forced to deal with that living fossil
> of CVS!
>
> Wouldn't it be great if someone could convince the Savannah admin
> to switch the web pages repository to a modern, distributed VCS?
If it weren't mostly abstracted/automated away, I would h
On 12/13/2012 06:09 PM, Jim Meyering wrote:
> Stefano Lattarini wrote:
>> Ah, we all git lovers still forced to deal with that living fossil
>> of CVS!
>>
Oops, I meant this as "private venting" only, but I sent it to the
whole list by mistake. Sorry for the extra noise.
Stefano
Jim Meyering writes:
> Simon Josefsson wrote:
>> I have pushed this -- it allows me to use gnupload with the GnuPG
>> private key on a smartcard to upload to ftp.gnu.org.
>
> I've wanted that for a long time. Thanks a lot!
I'm still not sure smartcard signing works -- my upload to ftp.gnu.org
w
Stefano Lattarini writes:
> Ah, we all git lovers still forced to deal with that living fossil
> of CVS!
>
> Wouldn't it be great if someone could convince the Savannah admin
> to switch the web pages repository to a modern, distributed VCS?
+1
The gnu.org webpages is one of only a handful of p
Wouldn't it be great if someone could convince the Savannah admin
1) It's not a matter of just changing savannah. There are numerous
(*numerous*) processes involved with web pages repositories, most of
which are written, maintained, and controlled by the FSF sysadmins, not
Savannah. FSF sysa
Eric Wong wrote:
> Jim Meyering wrote:
>> Eric Wong wrote:
>> > * lib/mountlist.c (ME_DUMMY_0):
>> > additional dummy FS names for Linux systems.
>> > - "devpts" PTY slave filesystem
>> > - "fusectl" control filesystem for FUSE
>> > - "mqueue" enumerates POSIX message queues
>> > - "rpc
Jim Meyering wrote:
> Thanks. I've tweaked the log and added a matching ChangeLog entry.
> Testing via df on my F18 laptop, diff -u <(src/df-prev) <(src/df)
> shows no difference. What do people think of this entry from
> that F18 system?
>
> devtmpfs 15383040 1538304 0%
12 matches
Mail list logo
