Rename user/readme.adoc -> user/manual.adoc

This commit is contained in:
Aleksey Kladov 2020-05-31 13:22:02 +02:00
parent 09df51dab8
commit 5a2f4548e5
2 changed files with 6 additions and 2 deletions

View file

@ -191,7 +191,11 @@ Release: release:{}[]
let path = changelog_dir.join(format!("{}-changelog-{}.adoc", today, changelog_n));
fs2::write(&path, &contents)?;
fs2::copy(project_root().join("./docs/user/readme.adoc"), website_root.join("manual.adoc"))?;
for &adoc in ["manual.adoc", "generated_features.adoc"].iter() {
let src = project_root().join("./docs/user/").join(adoc);
let dst = website_root.join(adoc);
fs2::copy(src, dst)?;
}
let tags = run!("git tag --list"; echo = false)?;
let prev_tag = tags.lines().filter(|line| is_release_tag(line)).last().unwrap();