From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id fYV5E1PXk2gejQUAWB0awg (envelope-from ) for ; Wed, 06 Aug 2025 18:29:39 -0400 Received: by simark.ca (Postfix, from userid 112) id 360471E100; Wed, 6 Aug 2025 18:29:39 -0400 (EDT) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-9.0 required=5.0 tests=ARC_SIGNED,ARC_VALID,BAYES_00, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,RCVD_IN_VALIDITY_CERTIFIED, RCVD_IN_VALIDITY_RPBL,RCVD_IN_VALIDITY_SAFE autolearn=ham autolearn_force=no version=4.0.1 Received: from server2.sourceware.org (server2.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id 8E2681E091 for ; Wed, 6 Aug 2025 18:29:38 -0400 (EDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 120B4385840B for ; Wed, 6 Aug 2025 22:29:38 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 120B4385840B Received: from joooj.vinc17.net (joooj.vinc17.net [155.133.131.76]) by sourceware.org (Postfix) with ESMTPS id C442B3858D26 for ; Wed, 6 Aug 2025 22:28:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C442B3858D26 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=vinc17.net Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=vinc17.net ARC-Filter: OpenARC Filter v1.0.0 sourceware.org C442B3858D26 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=155.133.131.76 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1754519329; cv=none; b=Mhgu+G5gLdw2rQGTU6K3IapXrn29/yxOVXxLFgR/GlOx6l4BCUh08piSDKqv/LKxghRlaMSCTWUAVAw/2EKH1GWcE2booJUOfH0Kxh8xuEqSfQ0w3oyt8vDso7gLX6GyopJ/8AVz5m+Qlsr2K2cwQGguYjVr+mragSuysA+ba60= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1754519329; c=relaxed/simple; bh=rgHKk8d4QbfUMJiNO7OOdL/XbK5Txm+fW7ZgFJZZgx0=; h=Date:From:To:Subject:Message-ID:MIME-Version; b=urSSJx1FbTWTn5O4LFswt6F0weskv0f+uDzq6w2YUUDzoP88csoaZ3uhgDPwV7udtxI1KWUZeUbk7ZK049/MHddxgbjTgG3QhuqiHnFP5NFZTZEnlqLATfWeBf/X9g9U3l8UYZcTI/zYBwQIjyPyKiWcwzXK8Db9P3FXyXRxUA4= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C442B3858D26 Received: from smtp-qaa.vinc17.net (2a02-8428-1b1d-4d01-96a9-491d-7b48-ba31.rev.sfr.net [IPv6:2a02:8428:1b1d:4d01:96a9:491d:7b48:ba31]) by joooj.vinc17.net (Postfix) with ESMTPSA id 7DB58323; Thu, 7 Aug 2025 00:28:48 +0200 (CEST) Received: by qaa.vinc17.org (Postfix, from userid 1000) id 6F0C6CA360A; Thu, 07 Aug 2025 00:28:47 +0200 (CEST) Date: Thu, 7 Aug 2025 00:28:47 +0200 From: Vincent Lefevre To: Eli Zaretskii Cc: gdb-patches@sourceware.org Subject: Re: [PATCH] Provide papersize for refcard.dvi Message-ID: <20250806222847.GZ2576@qaa.vinc17.org> References: <20250806145304.GA48050@cventin.lip.ens-lyon.fr> <86tt2ksbwm.fsf@gnu.org> <20250806160024.GD2248@cventin.lip.ens-lyon.fr> <86ldnws98j.fsf@gnu.org> <20250806164748.GY2576@qaa.vinc17.org> <86ikj0s27w.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <86ikj0s27w.fsf@gnu.org> X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/2.2.13+86 (bb2064ae) vl-169878 (2025-02-08) X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gdb-patches-bounces~public-inbox=simark.ca@sourceware.org On 2025-08-06 22:02:27 +0300, Eli Zaretskii wrote: > Doesn't PDF generation go through DVI? No, nowadays, PDF is generated directly with pdfTeX. Only PostScript is generated through DVI. > And if it doesn't, then why should we care about DVI nowadays? Because the file is generated and installed. In the Makefile file: all-doc: info man dvi ps pdf html > Anyway, I feel we should take this discussion to the Texinfo list, > where we will find people who know about TeX and DVI much more than I > do, and could give some useful advice. I think that the Texinfo list is mainly about the Texinfo format and generation from this format. refcard.tex is in plain TeX. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)