[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[FYI] Merge branch 'branch-1.13.2' into maint
From: |
Stefano Lattarini |
Subject: |
[FYI] Merge branch 'branch-1.13.2' into maint |
Date: |
Tue, 22 Jan 2013 13:38:09 +0100 |
commit c3db23860e9e7f1171a5b3d2098f6079799befd4
Merge: 94c28cc fd273c1
Author: Stefano Lattarini <address@hidden>
Date: Tue Jan 22 13:37:41 2013 +0100
Merge branch 'branch-1.13.2' into maint
* branch-1.13.2:
docs: '.txi' and '.texinfo' extensions are deprecated
NEWS: document recent documentation improvements
docs: more precise cross reference
docs: 'dist-shar' and 'dist-tarZ' are obsolescent today
docs: improve documentation of 'dist-*' targets slightly
docs: make even clearer 'dist-gzip' is the default.
docs: document 'dist-xz' together with the other 'dist-*' options
docs: 'no-define' option and AM_INIT_AUTOMAKE three-args usage: fixlets
warn: correct broken hyperlink in warning message
Signed-off-by: Stefano Lattarini <address@hidden>