Fix pandoc deprecation warning for `--chapters` switch

idris-hackers / software-foundations

Software Foundations in Idris

MIT License

452 stars 34 forks source link

Closed ehamberg closed 7 years ago

yurrriq commented 7 years ago

~~We're working on this concurrently, so I'm not sure I can accept this.~~ I'll work it in. Thanks.