diff options
author | G. Branden Robinson <g.branden.robinson@gmail.com> | 2018-11-12 16:37:01 -0500 |
---|---|---|
committer | G. Branden Robinson <g.branden.robinson@gmail.com> | 2018-11-12 16:37:01 -0500 |
commit | efea81c75f831ddc6717c2ef25556e0f49d1f679 (patch) | |
tree | 78ebae95bf1554d1131c9505b8d1e479f6d8406a /m4 | |
parent | 9d5bf49687e16232e570ad7fff80b3d9186c26a5 (diff) | |
download | groff-git-efea81c75f831ddc6717c2ef25556e0f49d1f679.tar.gz |
m4/groff.m4 (GROFF_PAGE): Try /etc/papersize 1st.
Fixes <https://savannah.gnu.org/bugs/index.php?53271>.
Signed-off-by: G. Branden Robinson <g.branden.robinson@gmail.com>
Diffstat (limited to 'm4')
-rw-r--r-- | m4/groff.m4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/m4/groff.m4 b/m4/groff.m4 index 13772dc1b..4f08cb98e 100644 --- a/m4/groff.m4 +++ b/m4/groff.m4 @@ -778,6 +778,9 @@ AC_DEFUN([GROFF_PAGE], [AC_MSG_CHECKING([default paper size]) groff_prefix="$prefix" test "x$prefix" = "xNONE" && groff_prefix=$ac_default_prefix + if test -z "$PAGE" && test -r /etc/papersize; then + PAGE=`cat /etc/papersize` + fi if test -z "$PAGE"; then descfile= if test -r "$groff_prefix"/share/groff/font/devps/DESC; then |