Commit 18d2d99f authored by Raymond Toy's avatar Raymond Toy

Merge branch 'rtoy-new-texinfo' into 'master'

Use new texinfo to build docs

See merge request !3
parents ac8c7c24 b35a0e1f
Pipeline #864 passed with stage
in 1 minute and 38 seconds