Joachim I think it'd be super-helpful to number the sections of a GHC proposal. So much easier to navigate; and to refer to points in the discussion. It's easy: just add .. sectnum:: to the preamble. Could you do that to the template? But one other thing. If you look at https://github.com/Gertjan423/ghc-proposals/blob/quantified-constraints/prop... where I did that, you'll see that everything is under Section 1. better to give guidance about how to make a top-level heading that is just a heading, so only the other items have numbers. Otherwise every section numbers starts "1." which is silly. Thanks Simon
Hi, I did this, and updated all accepted proposals. The trick to not number the title is to move the document title to the very top, before all the “.. foo::” cruft, it is excluded from numbering. See https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/00 05-bidir-constr-sigs.rst for an example. Cheers, Joachim Am Dienstag, den 27.02.2018, 09:13 +0000 schrieb Simon Peyton Jones:
Joachim I think it’d be super-helpful to number the sections of a GHC proposal. So much easier to navigate; and to refer to points in the discussion. It’s easy: just add .. sectnum:: to the preamble. Could you do that to the template? But one other thing. If you look at https://github.com/Gertjan423/ghc-proposals/blob/quantified-constraints/prop... where I did that, you’ll see that everything is under Section 1. better to give guidance about how to make a top-level heading that is just a heading, so only the other items have numbers. Otherwise every section numbers starts “1.” which is silly. Thanks Simon _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Lovely thank you. | I did this, and updated all accepted proposals. The trick to not | number the title is to move the document title to the very top, You might want to leave enough comments in the template file so that users don’t accidentally mess it up. Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 27 February 2018 14:18 | To: ghc-steering-committee@haskell.org | Subject: Re: [ghc-steering-committee] Section numbering | | Hi, | | I did this, and updated all accepted proposals. The trick to not | number the title is to move the document title to the very top, before | all the “.. foo::” cruft, it is excluded from numbering. See | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu | b.com%2Fghc-proposals%2Fghc- | proposals%2Fblob%2Fmaster%2Fproposals%2F00&data=04%7C01%7Csimonpj%40mi | crosoft.com%7Cfceb5ad58d5a4cc8e75908d57dececd1%7C72f988bf86f141af91ab2 | d7cd011db47%7C1%7C0%7C636553378894120883%7CUnknown%7CTWFpbGZsb3d8eyJWI | joiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=p8l7renR8eY421cQpPKVLmKbyInoNOdi%2FDnj5QjPAys%3D&reserved=0 | 05-bidir-constr-sigs.rst | for an example. | | Cheers, | Joachim | | Am Dienstag, den 27.02.2018, 09:13 +0000 schrieb Simon Peyton Jones: | > Joachim | > I think it’d be super-helpful to number the sections of a GHC | proposal. So much easier to navigate; and to refer to points in the | discussion. | > It’s easy: just add | > .. sectnum:: | > to the preamble. | > Could you do that to the template? | > But one other thing. If you look at | > | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithu | b.com%2FGertjan423%2Fghc-proposals%2Fblob%2Fquantified- | constraints%2Fproposals%2F0000-quantified- | constraints.rst&data=04%7C01%7Csimonpj%40microsoft.com%7Cfceb5ad58d5a4 | cc8e75908d57dececd1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63655 | 3378894120883%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2lu | MzIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=94EgcxmIi5JhF5zNeR0oyYXmVdZ9KKyKUgYVbu0Aeks%3D&reserved=0 | > where I did that, you’ll see that everything is under Section 1. | better to give guidance about how to make a top-level heading that is | just a heading, so only the other items have numbers. Otherwise every | section numbers starts “1.” which is silly. | > Thanks | > Simon | > _______________________________________________ | > ghc-steering-committee mailing list | > ghc-steering-committee@haskell.org | > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering- | committ | > ee | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.jo | achim- | breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cfceb5ad58d5a4c | c8e75908d57dececd1%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636553 | 378894120883%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luM | zIiLCJBTiI6Ik1haWwifQ%3D%3D%7C- | 1&sdata=hmWx3AR78Qf1VrFJB%2BykrW8jCXaxuTBmhcY8vhcEYvQ%3D&reserved=0
Hi, Am Dienstag, den 27.02.2018, 14:57 +0000 schrieb Simon Peyton Jones:
Lovely thank you.
I did this, and updated all accepted proposals. The trick to not number the title is to move the document title to the very top,
You might want to leave enough comments in the template file so that users don’t accidentally mess it up.
there is already plenty of noise in the beginning of the file – I’ll consider that if people actually mess it up. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
participants (2)
-
Joachim Breitner -
Simon Peyton Jones