[Top][All Lists]
[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)