[ghc-steering-committee] Section numbering

[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.

Simon

|  -----Original Message-----
|  From: ghc-steering-committee [mailto:ghc-steering-committee-
|  bounces at haskell.org] On Behalf Of Joachim Breitner
|  Sent: 27 February 2018 14:18
|  To: ghc-steering-committee at 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 at haskell.org
|  > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-
|  committ
|  > ee
|  --
|  Joachim Breitner
|    mail at 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