7 Commits

Author	SHA1	Message	Date
Eric Huss	c9c816d231	Update mdbook to 0.4.37	2024-02-08 14:53:33 -08:00
Eric Huss	e25ff257ae	Fix 404 handling	2023-04-09 13:04:38 -07:00
Jan-Erik Rediger	f2736c9079	Disable the playground run button by default for code blocks ... Most example code in RFCs is not written with executability in mind, so having the "Run" button available by default on all RFCs seems a bit misleading. This now disables the playground for the whole book (which also removes the "hidden" code mdbook inserts). It thus only leaves the copy button.	2022-11-07 18:49:08 +01:00
Michael Howell	715bc47154	Do not include headers in search index ... This significantly shrinks the pre-compressed search index: $ du -h searchindex-old.js searchindex-new.js 26M searchindex-old.js 19M searchindex-new.js And shrinks the search index even after it's gzipped: $ du -h searchindex-old.js.gz searchindex-new.js.gz 4.5M searchindex-old.js.gz 3.3M searchindex-new.js.gz This change requires a newer version of mdBook, with https://github.com/rust-lang/mdBook/pull/1637	2021-10-04 09:13:37 -07:00
Lzu Tao	8d3f020013	Add github url to this repository from the gh-page	2021-02-06 18:35:46 +07:00
Corey Farwell	a145ac6f9a	Give the Rust RFC Book a title	2019-03-30 12:12:01 +01:00
kennytm	00446ff661	Update mdbook to 0.1.0, and disable section numbering.	2018-01-27 15:01:55 +08:00