1
1
Fork 0
mirror of https://code.mensbeam.com/MensBeam/Arsse.git synced 2024-12-22 13:12:41 +00:00

Clean up theme files after generation

This commit is contained in:
J. King 2019-08-04 16:21:58 -04:00
parent c334390db1
commit e7e4c823e4
2 changed files with 8 additions and 3 deletions

View file

@ -180,7 +180,11 @@ class RoboFile extends \Robo\Tasks {
*/ */
public function manual(array $args): Result { public function manual(array $args): Result {
$execpath = escapeshellarg(realpath(self::BASE."vendor/bin/daux")); $execpath = escapeshellarg(realpath(self::BASE."vendor/bin/daux"));
return $this->taskExec($execpath)->arg("generate")->option("-d", self::BASE."manual")->args($args)->run(); $t = $this->collectionBuilder();
$t->taskExec($execpath)->arg("generate")->option("-d", self::BASE."manual")->args($args);
$t->taskDeleteDir(realpath(self::BASE."manual/theme"));
$t->taskDeleteDir(realpath(self::BASE."manual/themes/src"));
return $t->run();
} }
/** Serves a live view of the manual using PHP's built-in Web server */ /** Serves a live view of the manual using PHP's built-in Web server */
@ -196,7 +200,6 @@ class RoboFile extends \Robo\Tasks {
*/ */
public function manualTheme(array $args): Result { public function manualTheme(array $args): Result {
$languages = ["php", "bash", "shell", "xml", "nginx", "apache"]; $languages = ["php", "bash", "shell", "xml", "nginx", "apache"];
$themesrc = realpath(self::BASE."docs/theme/src/").\DIRECTORY_SEPARATOR;
$themeout = realpath(self::BASE."docs/theme/arsse/").\DIRECTORY_SEPARATOR; $themeout = realpath(self::BASE."docs/theme/arsse/").\DIRECTORY_SEPARATOR;
$dauxjs = realpath(self::BASE."vendor-bin/daux/vendor/daux/daux.io/themes/daux/js/").\DIRECTORY_SEPARATOR; $dauxjs = realpath(self::BASE."vendor-bin/daux/vendor/daux/daux.io/themes/daux/js/").\DIRECTORY_SEPARATOR;
$dauxout = realpath(self::BASE."docs/theme/daux/js/").\DIRECTORY_SEPARATOR; $dauxout = realpath(self::BASE."docs/theme/daux/js/").\DIRECTORY_SEPARATOR;

View file

@ -1,6 +1,7 @@
{ {
"title": "The Advanced RSS Environment", "title": "The Advanced RSS Environment",
"tagline": "The clean & modern RSS server that doesn't give you any crap.", "tagline": "The clean & modern RSS server that doesn't give you any crap.",
"author": "J. King",
"languages": { "languages": {
"en": "English" "en": "English"
}, },
@ -8,6 +9,7 @@
"html": { "html": {
"theme": "arsse", "theme": "arsse",
"float": false, "float": false,
"toggle_code": false "toggle_code": false,
"search": false
} }
} }