Fix generation of AMPLGSL docs