We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bd141ab commit e5ef883Copy full SHA for e5ef883
makeDocs.php
@@ -10,13 +10,8 @@
10
}
11
12
13
-echo "Clearing git status...";
14
-echo exec("cd " . __DIR__ . "/docs && git reset --hard && git checkout master");
15
-echo " Complete.\n";
16
-
17
18
echo "Running PHPDoc Analysis...";
19
-exec("cd .. && php " . PHPDOC_PHAR_FILENAME . " run -d src -t docs/ --template=\"xml\"");
+exec("php " . PHPDOC_PHAR_FILENAME . " run -d src -t docs/ --template=\"xml\"");
20
echo " Complete\n";
21
22
@@ -40,6 +35,8 @@
40
35
if ($diff === "") {
41
36
echo "No changes detected in documentation. Exiting.\n";
42
37
exit(0);
38
+} else {
39
+ echo "Changes detected in documentation. Will commit and push if --push is set.\n";
43
44
45
// if --push is set, push the changes.
0 commit comments