Added Github css style for pandoc.

This commit is contained in:
Erik C. Thauvin 2016-06-30 12:50:37 -07:00
parent e90927d177
commit a907a29176
5 changed files with 547 additions and 99 deletions

View file

@ -202,7 +202,7 @@ task release(dependsOn: ['deploy', 'wrapper']) << {
task pandoc(type: Exec) {
group = 'Documentation'
def pandoc_args = ['--from', 'markdown_github', '--to', 'html5', '-s', '-o', 'README.html', 'README.md']
def pandoc_args = ['--from', 'markdown_github', '--to', 'html5', '-s', '-c', 'github-pandoc.css', '-o', 'README.html', 'README.md']
if (Os.isFamily(Os.FAMILY_WINDOWS)) {
commandLine(['cmd', '/c', 'pandoc'] + pandoc_args)
} else {