Revise the introduction (#51)

* Update intro * Rename files * Done * Fix rustdoc build without feature `gmp`
unageek · Jun 30, 2021 · 289afc8 · 289afc8
1 parent ce69cdd
commit 289afc8
Show file tree

Hide file tree

Showing 8 changed files with 532 additions and 364 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -59,18 +59,10 @@ default-features = false
 features = ["float", "integer", "rational"]
 optional = true
 
-[[example]]
-name = "cancellation"
-required-features = ["gmp"]
-
 [[example]]
 name = "exact"
 required-features = ["gmp"]
 
 [[example]]
 name = "parse"
 required-features = ["gmp"]
-
-[[example]]
-name = "quadratic"
-required-features = ["gmp"]
diff --git a/examples/cancellation.rs b/examples/cancellation.rs
diff --git a/examples/quadratic.rs b/examples/quadratic.rs
diff --git a/src/_docs.rs b/src/_docs.rs
@@ -3,8 +3,11 @@
 #[allow(unused_imports)]
 use crate::*;
 
-#[doc = include_str!("_docs/intro.md")]
-pub mod intro {}
-
 #[doc = include_str!("_docs/conformance.md")]
 pub mod conformance {}
+
+#[doc = include_str!("_docs/formal_intro.md")]
+pub mod formal_intro {}
+
+#[cfg_attr(feature = "gmp", doc = include_str!("_docs/intro.md"))]
+pub mod intro {}