Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: Don't produce docs for
hugr
binary target (#1313)
This avoids the error due to duplicated target names, as the binary `hugr` has the same name as the main library `hugr`. `cargo doc` showed this warning: ``` warning: output filename collision. The bin target `hugr` in package `hugr-cli v0.1.4 (/home/runner/work/hugr/hugr/hugr-cli)` has the same output filename as the lib target `hugr` in package `hugr v0.8.0 (/home/runner/work/hugr/hugr/hugr)`. Colliding filename is: /home/runner/work/hugr/hugr/target/doc/hugr/index.html The targets should have unique names. This is a known bug where multiple crates with the same name use the same path; see <rust-lang/cargo#6313>. ``` This caused the resulting docs to produce non-deterministic output, with either target overriding the other. See [cargo#6313](https://www.github.com/rust-lang/cargo/issues/6313).
- Loading branch information