parent
4da4f15e67
commit
65ee533952
3 changed files with 52 additions and 48 deletions
|
@ -212,7 +212,6 @@ task pandoc(type: Exec) {
|
|||
'-s',
|
||||
'-c', 'github-pandoc.css',
|
||||
'-o', 'docs/README.html',
|
||||
'-H', 'docs/header.inc',
|
||||
'README.md']
|
||||
if (Os.isFamily(Os.FAMILY_WINDOWS)) {
|
||||
commandLine(['cmd', '/c', 'pandoc'] + pandoc_args)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue