use new gvprintnum routine in -Tps:core

diff --git a/lib/gvc/gvplugin_render.h b/lib/gvc/gvplugin_render.h
index 281ae1aac81b79c5fe331018c34fcbd10bb91504..6b715428fffbcb0a820b458dc10737e308846685 100644 (file)
--- a/lib/gvc/gvplugin_render.h
+++ b/lib/gvc/gvplugin_render.h
@@ -23,6 +23,9 @@
 
 extern void gvdevice_fputs(GVJ_t * job, char *s);
 extern void gvdevice_printf(GVJ_t * job, const char *format, ...);
+extern void gvdevice_printnum(GVJ_t * job, double num);
+extern void gvdevice_printpointf(GVJ_t * job, pointf p);
+extern void gvdevice_printpointflist(GVJ_t * job, pointf *p, int n);
 
 #ifdef __cplusplus
 extern "C" {