$OpenBSD: patch-doc_makefile_in,v 1.4 2016/01/27 18:47:02 juanfra Exp $

Don't reconstruct the ps file from the PDF, this makes ghostscript shit itself:
GPL Ghostscript 9.04: Error: Font Renderer Plugin ( FreeType ) return code = -1

--- doc/makefile.in.orig	Thu Sep  3 01:14:02 2015
+++ doc/makefile.in	Fri Jan 22 22:07:44 2016
@@ -95,7 +95,7 @@ all-pre:
 
 all-post:
 
-doc: info pdf html txt ps
+doc: info pdf html txt
 
 info: gambit.info
 
