Pushing new documentation

[JacquesCarette]

I've made a small change to the documentation, then tried to push them live (via the handy-dandy script) and it failed miserably. Tried to fix my installation of mkdocs, to no avail. @zaxtax can you give it a try?

[zaxtax]

Can you paste the error you get?

…

On Tue, May 14, 2019, 15:48 Jacques Carette ***@***.***> wrote: I've made a small change to the documentation, then tried to push them live (via the handy-dandy script) and it failed miserably. Tried to fix my installation of mkdocs, to no avail. @zaxtax <https://github.com/zaxtax> can you give it a try? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#202?email_source=notifications&email_token=AAACCUJ42GBAFLUCBWFJMLDPVM6S7A5CNFSM4HM6H7T2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GTZKEFA>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAACCUKWJ32KU7D5OOZR54DPVM6S7ANCNFSM4HM6H7TQ> .