Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-09 Thread Vincent Lefevre
Hi, On 2019-07-09 10:22:18 +0900, Norbert Preining wrote: > > Yes, running "dpkg-reconfigure libpaper1", then choosing "letter", > > then running dpkg-reconfigure libpaper1" again, then choosing "a4" > > fixes the configuration. > > Hmmm, I simply cannot reproduce that. At my place every invocati

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Norbert Preining
Hi > Yes, running "dpkg-reconfigure libpaper1", then choosing "letter", > then running dpkg-reconfigure libpaper1" again, then choosing "a4" > fixes the configuration. Hmmm, I simply cannot reproduce that. At my place every invocation of dpkg-reconfigure libpaper1 changes all settings as expected

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Norbert Preining
On Tue, 09 Jul 2019, Vincent Lefevre wrote: > Actually they can, though this may be non-standard. After generating > the dvi file from the MPFR 4.0.0 tarball ("make dvi"), I get: Yes, using geometry package and "specials" this information can be put into the dvi format, but it is a "special" which

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 23:29:41 +0900, Norbert Preining wrote: > On Fri, 08 Sep 2017, Vincent Lefevre wrote: > > generated dvi and ps have a letter papersize, so that the contents > > dvi files don't have a paper size whatsoever attached. Actually they can, though this may be non-standard. After generatin

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 22:58:22 +0200, Hilmar Preuße wrote: > I just had the same on my Debian stable installation: for any reason the > debconf setting was ignored for dvips. See attached screen session, how > I could fix that. Does it help to fix paper setting on zira? Yes, running "dpkg-reconfigure libp

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Hilmar Preuße
On 08.07.19 16:12, Vincent Lefevre wrote: Hi, > Non-existent in both cases. > > I've eventually found the file showing a difference: > > /var/lib/texmf/dvips/config/config-paper.ps > I wasn't really sure if that config file sets the default size or if it just contains the paper size definition

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 16:40:51 +0200, Hilmar Preuße wrote: > root@amd64-sid:~# dpkg-reconfigure libpaper1 > Replacing config file /etc/papersize with new version > tl-paper: setting paper size for context to a4: > /var/lib/texmf/tex/context/user/cont-sys-paper.tex > tl-paper: setting paper size for dvipdfm

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 23:29:41 +0900, Norbert Preining wrote: > > This silently occurs, so that for instance, one may upload incorrect > > files to a web server, which is really annoying. > > Well, dvips just follows what is configured for it. Since dvi does not > have an embedded paper size, only what is

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Hilmar Preuße
On 08.07.19 16:12, Vincent Lefevre wrote: Hi, > I've eventually found the file showing a difference: > > /var/lib/texmf/dvips/config/config-paper.ps > > They were both generated on 2019-03-04. But why such a difference? > root@amd64-sid:~# dpkg-reconfigure libpaper1 Replacing config file /etc/

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Norbert Preining
Hi Vincent, > /var/lib/texmf/dvips/config/config-paper.ps Our emails crossed ... you found the source yourself. > They were both generated on 2019-03-04. But why such a difference? That is indeed strange. It should not be, and changing the papersize via paperconf should trigger an update of tha

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Norbert Preining
Hi Vincent, there have been already a few answers/discussion between Hilmar and you, I just want to throw in a few comments. On Fri, 08 Sep 2017, Vincent Lefevre wrote: > generated dvi and ps have a letter papersize, so that the contents dvi files don't have a paper size whatsoever attached. dvi

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 16:12:52 +0200, Vincent Lefevre wrote: > I've eventually found the file showing a difference: > > /var/lib/texmf/dvips/config/config-paper.ps > > % > % config-paper.ps > % > % This part is only used for the paper configuration of dvips > @ letter 8.5in 11in > [...] > > on the first

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 15:51:16 +0200, Hilmar Preuße wrote: > How about /etc/texmf/dvips/config/config.ps ? Non-existent in both cases. I've eventually found the file showing a difference: /var/lib/texmf/dvips/config/config-paper.ps % % config-paper.ps % % This part is only used for the paper configurat

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Hilmar Preuße
On 08.07.19 15:44, Vincent Lefevre wrote: Hi, > I still wonder the cause of the difference with dvips. A strace > shows that ~/.dvipsrc is read in both cases, but the contents > are the same, and a diff on the strace files does not show where > the difference could come from. None of the environm

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 15:19:10 +0200, Vincent Lefevre wrote: > There may be several issues: the mpfr.dvi files are identical on > both machines. The mpfr.ps files are different, but for the dvi > to ps conversion, the texinfo.tex file is not involved. So, it looks like there was a texinfo bug in texinfo.t

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 15:10:01 +0200, Vincent Lefevre wrote: > On 2019-07-08 13:18:35 +0200, Hilmar Preuße wrote: > > Is the issue still present? > > With the MPFR 3.1.6 tarball on the same machine, yes, but not with > the 4.0.0 one. In the MPFR 3.1.6 tarball, if I replace the texinfo.tex > file (2013-02-

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Vincent Lefevre
On 2019-07-08 13:18:35 +0200, Hilmar Preuße wrote: > Is the issue still present? With the MPFR 3.1.6 tarball on the same machine, yes, but not with the 4.0.0 one. In the MPFR 3.1.6 tarball, if I replace the texinfo.tex file (2013-02-01.11) by the version from MPFR 4.0.0 (2017-12-18.20), this solve

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2019-07-08 Thread Hilmar Preuße
On 08.09.17 11:57, Vincent Lefevre wrote: Hi Vincent, > When generating the MPFR manual, the contents are always in A4. > FYI, the mpfr.texi file has: > > @iftex > @afourpaper > @end iftex > > But on one of my machines (from which this bug is reported), the > generated dvi and ps have a letter

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2017-09-08 Thread Vincent Lefevre
Control: retitle -1 texinfo: inconsistent papersize for generated PostScript file (.ps) On 2017-09-08 11:57:33 +0200, Vincent Lefevre wrote: > But on one of my machines (from which this bug is reported), the > generated dvi and ps have a letter papersize, so that the contents > may be partly trun

Bug#874632: texinfo: inconsistent papersize for generated dvi and ps

2017-09-08 Thread Vincent Lefevre
Package: texinfo Version: 6.4.90.dfsg.1-1+b1 Severity: important When generating the MPFR manual, the contents are always in A4. FYI, the mpfr.texi file has: @iftex @afourpaper @end iftex But on one of my machines (from which this bug is reported), the generated dvi and ps have a letter papersiz