[skip ci] Build docs on push
This commit is contained in:
committed by
LaTeX compiler [bot]
parent
6dbcd64ed4
commit
1462cc0198