Browse Source

Move man pages to their own directory

rpm
J. King 3 years ago
parent
commit
3e55ab3849
  1. 1
      .gitignore
  2. 12
      RoboFile.php
  3. 0
      manpages/en.md

1
.gitignore

@ -7,6 +7,7 @@
/dist/arch/arsse/
/dist/arch/src/
/dist/arch/pkg/
/dist/man/
/arsse.db*
/config.php
/.php_cs.cache

12
RoboFile.php

@ -204,6 +204,7 @@ class RoboFile extends \Robo\Tasks {
$dir."RoboFile.php",
$dir."CONTRIBUTING.md",
$dir."docs",
$dir."manpages",
$dir."tests",
$dir."vendor-bin",
$dir."vendor/bin",
@ -332,9 +333,14 @@ class RoboFile extends \Robo\Tasks {
* available in $PATH.
*/
public function manpage(): Result {
$src = BASE."docs/manpage.md";
$out = BASE."dist/manpage";
return $this->taskExec("pandoc -s -f markdown-smart -t man -o ".escapeshellarg($out)." ".escapeshellarg($src))->run();
$p = $this->taskParallelExec();
$man = [
'en' => "man1/arsse.1",
];
foreach($man as $src => $out) {
$p->process("pandoc -s -f markdown-smart -t man -o ".escapeshellarg(BASE."dist/$out")." ".escapeshellarg(BASE."manpages/$src.md"));
}
return $p->run();
}
protected function changelogParse(string $text, string $targetVersion): array {

0
docs/manpage.md → manpages/en.md

Loading…
Cancel
Save