Fix generation of the manual in info format.#531
Open
aadcg wants to merge 1 commit intojoaotavora:masterfrom
Open
Fix generation of the manual in info format.#531aadcg wants to merge 1 commit intojoaotavora:masterfrom
aadcg wants to merge 1 commit intojoaotavora:masterfrom