Re: [rfc-i] Really not a poll: RFCs with page numbers (pretty please) ?

Henrik Levkowetz <henrik@levkowetz.com> Wed, 28 October 2020 13:32 UTC

Return-Path: <rfc-interest-bounces@rfc-editor.org>
X-Original-To: ietfarch-rfc-interest-archive@ietfa.amsl.com
Delivered-To: ietfarch-rfc-interest-archive@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C17733A10FF; Wed, 28 Oct 2020 06:32:05 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.897
X-Spam-Level:
X-Spam-Status: No, score=-2.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.25, MAILING_LIST_MULTI=-1, NICE_REPLY_A=-0.247, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 69AE6P3ofV6y; Wed, 28 Oct 2020 06:32:04 -0700 (PDT)
Received: from rfc-editor.org (rfc-editor.org [4.31.198.49]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 41BDD3A10F0; Wed, 28 Oct 2020 06:32:00 -0700 (PDT)
Received: from rfcpa.amsl.com (localhost [IPv6:::1]) by rfc-editor.org (Postfix) with ESMTP id 84AD6F40723; Wed, 28 Oct 2020 06:31:47 -0700 (PDT)
X-Original-To: rfc-interest@rfc-editor.org
Delivered-To: rfc-interest@rfc-editor.org
Received: from localhost (localhost [127.0.0.1]) by rfc-editor.org (Postfix) with ESMTP id 8EAB7F40723 for <rfc-interest@rfc-editor.org>; Wed, 28 Oct 2020 06:31:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at rfc-editor.org
Received: from rfc-editor.org ([127.0.0.1]) by localhost (rfcpa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Ntc0C_1-dB4d for <rfc-interest@rfc-editor.org>; Wed, 28 Oct 2020 06:31:42 -0700 (PDT)
Received: from zinfandel.tools.ietf.org (zinfandel.tools.ietf.org [64.170.98.42]) by rfc-editor.org (Postfix) with ESMTPS id 891A4F4071F for <rfc-interest@rfc-editor.org>; Wed, 28 Oct 2020 06:31:42 -0700 (PDT)
Received: from h-202-242.a357.priv.bahnhof.se ([158.174.202.242]:61212 helo=tannat.localdomain) by zinfandel.tools.ietf.org with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from <henrik@levkowetz.com>) id 1kXlYP-0006Js-UV; Wed, 28 Oct 2020 06:31:54 -0700
To: Ted Lemon <mellon@fugue.com>
References: <dd25161f-f8fc-0481-2d06-00907f4068fa@levkowetz.com> <E3D19227-79AF-477A-A929-8D54AAF63F9B@fugue.com>
From: Henrik Levkowetz <henrik@levkowetz.com>
Message-ID: <daf8a9ee-3448-2d96-ec80-7c7553befec2@levkowetz.com>
Date: Wed, 28 Oct 2020 14:31:46 +0100
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0) Gecko/20100101 Thunderbird/45.8.0
MIME-Version: 1.0
In-Reply-To: <E3D19227-79AF-477A-A929-8D54AAF63F9B@fugue.com>
X-SA-Exim-Connect-IP: 158.174.202.242
X-SA-Exim-Rcpt-To: rsoc@iab.org, rfc-interest@rfc-editor.org, jgs=40juniper.net@dmarc.ietf.org, johnl@iecc.com, mellon@fugue.com
X-SA-Exim-Mail-From: henrik@levkowetz.com
X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000)
X-SA-Exim-Scanned: Yes (on zinfandel.tools.ietf.org)
X-Clacks-Overhead: GNU Terry Pratchett
Subject: Re: [rfc-i] Really not a poll: RFCs with page numbers (pretty please) ?
X-BeenThere: rfc-interest@rfc-editor.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "A list for discussion of the RFC series and RFC Editor functions." <rfc-interest.rfc-editor.org>
List-Unsubscribe: <https://www.rfc-editor.org/mailman/options/rfc-interest>, <mailto:rfc-interest-request@rfc-editor.org?subject=unsubscribe>
List-Archive: <http://www.rfc-editor.org/pipermail/rfc-interest/>
List-Post: <mailto:rfc-interest@rfc-editor.org>
List-Help: <mailto:rfc-interest-request@rfc-editor.org?subject=help>
List-Subscribe: <https://www.rfc-editor.org/mailman/listinfo/rfc-interest>, <mailto:rfc-interest-request@rfc-editor.org?subject=subscribe>
Cc: "John R. Levine" <johnl@iecc.com>, John Scudder <jgs=40juniper.net@dmarc.ietf.org>, rfc-interest@rfc-editor.org, rsoc@iab.org
Content-Type: multipart/mixed; boundary="===============5032200230400909008=="
Errors-To: rfc-interest-bounces@rfc-editor.org
Sender: rfc-interest <rfc-interest-bounces@rfc-editor.org>

Hi Ted,

On 2020-10-28 14:22, Ted Lemon wrote:
> If the functionality you are referring to here is putting section and
> paragraph numbers in the header, I don’t think there’s any reason not
> to do it since these are the internal pointers that had consensus.
> 
> If the functionality you are referring to is page numbers, we already
> discussed why that is not in the IETF-provided tool.

No, I don't think so.  I believe all the arguments were germane with
respect to publishing RFCs with / without page numbers, but not with
respect to letting the tool have a switch to produce a format with
page numbers.

	Henrik

> 
>> On Oct 28, 2020, at 07:18, Henrik Levkowetz <henrik@levkowetz.com>
>> wrote:
>> 
>> 
>> On 2020-10-28 00:33, John R. Levine wrote:
>>>> As a reminder for those who have lost track, this thread was kicked off 
>>>> by Toerless saying he would like to be able to render his own copies to 
>>>> include a useful table of contents, for his own use, at home, probably 
>>>> with the blinds drawn to keep the world from witnessing his shame.
>>> 
>>> I remember back when the IETF was full of engineers who looked at a 
>>> problem and wrote software to solve it.
>>> 
>>> It took about an hour to write this:
>>> 
>>>    https://github.com/jrlevine/pagerfc
>>> 
>>> It takes an unpaginated text RFC, adds page breaks, headers, and footers, 
>>> splices the page numbers into the TOC, and since someone said it would be 
>>> useful, puts the current section header into each page footer.  Sheesh.
>> 
>> Umm.  So why is it OK to provide this functionality as a script, but not OK
>> to make xml2rfc able to do it?  I'm not talking about the RFC Editor publishing
>> paginated text, I'm talking about permitting xml2rfc to do what you've just
>> provided a tool to do.
>> 
>> 
>> Regards,
>> 
>>    Henrik
>> 
>> 
>> _______________________________________________
>> rfc-interest mailing list
>> rfc-interest@rfc-editor.org
>> https://www.rfc-editor.org/mailman/listinfo/rfc-interest
> _______________________________________________
> rfc-interest mailing list
> rfc-interest@rfc-editor.org
> https://www.rfc-editor.org/mailman/listinfo/rfc-interest
> 

_______________________________________________
rfc-interest mailing list
rfc-interest@rfc-editor.org
https://www.rfc-editor.org/mailman/listinfo/rfc-interest