bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Updated INSTALL from Autoconf


From: Bruno Haible
Subject: Re: Updated INSTALL from Autoconf
Date: Tue, 26 Aug 2008 01:24:48 +0200
User-agent: KMail/1.5.4

Karl Berry wrote:
> will (manually) generate INSTALL from install.texi via a rule in
> gnulib/doc/Makefile.
> 
> Hope that suits.  I couldn't think of a better way.

Yes, thanks. This gives us the freedom to discuss the formatting details
of this file :-)

Currently, 'makeinfo' produces an INSTALL file which has the first paragraph
in every section unindented and the other paragraphs indented. It just looks
ugly. It may be different for books, where chapters are usually several
pages long and chapter titles really stand out. But in info files or text files
like this one, where a page typically has only 1 to 4 paragraphs, there are
just too many unindented paragraphs.

I propose to change it so that every paragraph gets indented (except when
@noindent is explicitly used). Like this (just one hunk):

***************
*** 73,81 ****
  Compilers and Options
  =====================
  
! Some systems require unusual options for compilation or linking that the
! `configure' script does not know about.  Run `./configure --help' for
! details on some of the pertinent environment variables.
  
     You can give `configure' initial values for configuration parameters
  by setting variables in the command line or in the environment.  Here
--- 73,81 ----
  Compilers and Options
  =====================
  
!    Some systems require unusual options for compilation or linking that
! the `configure' script does not know about.  Run `./configure --help'
! for details on some of the pertinent environment variables.
  
     You can give `configure' initial values for configuration parameters
  by setting variables in the command line or in the environment.  Here


Objections to this patch?


2008-08-25  Bruno Haible  <address@hidden>

        * doc/Makefile (INSTALL): Generate with @firstparagraphindent set.

*** doc/Makefile.orig   2008-08-26 01:08:22.000000000 +0200
--- doc/Makefile        2008-08-26 01:07:48.000000000 +0200
***************
*** 24,30 ****
  pdf: $(doc).pdf
  
  INSTALL: install.texi
!       -$(MAKEINFO) --plaintext --no-warn $< >$@
  
  GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi 
standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard 
posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard 
glibc-functions/*.texi)
  
--- 24,32 ----
  pdf: $(doc).pdf
  
  INSTALL: install.texi
!       { echo '@firstparagraphindent insert'; cat $<; } > tmp.texi
!       -$(MAKEINFO) --plaintext --no-warn tmp.texi > $@
!       rm -f tmp.texi
  
  GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi 
standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard 
posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard 
glibc-functions/*.texi)
  





reply via email to

[Prev in Thread] Current Thread [Next in Thread]