Rename "Pages" to "Guides" (#419)

This commit is contained in:
Jon Parise 2018-09-04 13:41:47 -07:00 committed by GitHub
parent 8a43c7ddd8
commit 13309ea719
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -50,10 +50,11 @@ defmodule Thrift.Mixfile do
name: "Thrift", name: "Thrift",
docs: [ docs: [
main: "Thrift", main: "Thrift",
extra_section: "Guides",
extras: [ extras: [
"ADOPTERS.md": [title: "Adopters"], "ADOPTERS.md": [title: "Adopters"],
"CONTRIBUTING.md": [title: "Contributing"], "CONTRIBUTING.md": [title: "Contributing"],
"example/README.md": [filename: "example", title: "Example"] "example/README.md": [filename: "example", title: "Example Project"]
], ],
source_url: @project_url, source_url: @project_url,
groups_for_modules: [ groups_for_modules: [