HTML templates and GNU manual pages

2013-11-16 Thread John Darrington
Most Gnu programs use Texinfo for their manuals. Most of them also have a nice online webpage introducting the documentation, such as: https://www.gnu.org/software/hello/manual/ I rather like seeing this in the Gnu livery and the coda at the foot of the page gives it a nice professional lookin

Re: texinfo 5.2 dist creates directories that are 777

2013-11-16 Thread Norbert Preining
> So -p is more than just "preserve modification time"?!? At least on my GNU tar ... -p, --preserve-permissions, --same-permissions extract information about file permissions (default for superuser) ;-) > That's a new one on me. One never stops learning. Norbert

Re: texinfo 5.2 dist creates directories that are 777

2013-11-16 Thread Andreas Schwab
arn...@skeeve.com writes: >> Aharon Robbins writes: >> >> > Something's messed up somewhere. Ubuntu 12.04: >> > >> >$ umask 022 >> >$ tar -xpzf /usr/local/src/Gnu/texinfo-5.2.tar.gz > > Andreas Schwab wrote: >> You explicitly told tar to ignore umask. No surprise. > > So -p is more tha

Re: texinfo 5.2 dist creates directories that are 777

2013-11-16 Thread arnold
> Aharon Robbins writes: > > > Something's messed up somewhere. Ubuntu 12.04: > > > > $ umask 022 > > $ tar -xpzf /usr/local/src/Gnu/texinfo-5.2.tar.gz Andreas Schwab wrote: > You explicitly told tar to ignore umask. No surprise. So -p is more than just "preserve modification time"?!