build.sh fails because "manual" directory does not exist. #3

Open

Open

build.sh fails because "manual" directory does not exist.#3

opened

on Mar 13, 2018

$ ./build.sh
Compiling manual
./build.sh: line 6: cd: manual: No such file or directory

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests