Index: plugins.h
===================================================================
--- plugins.h	(revision 36380)
+++ plugins.h	(revision 36381)
@@ -98,6 +98,7 @@
 plugin_def("export_fidocadj",  "FidoCadJ .fcd pcb_exporter",      sbuildin, 1)
 plugin_def("export_gcode",     "gcode pcb_exporter",              sbuildin, 1)
 plugin_def("export_gerber",    "Gerber pcb_exporter",             sbuildin, 1)
+plugin_def("export_hpgl",      "export thin-drawing in hpgl",     sdisable, 0)
 plugin_def("export_ipcd356",   "IPC-D-356 Netlist pcb_exporter",  sbuildin, 1)
 plugin_def("export_lpr",       "lpr pcb_exporter (printer)",      sbuildin, 1)
 plugin_def("export_oldconn",   "old connection data format",      sbuildin, 1)
@@ -106,7 +107,7 @@
 plugin_def("export_png",       "png/gif/jpg pcb_exporter",        sbuildin, 1)
 plugin_def("export_ps",        "postscript pcb_exporter",         sbuildin, 1)
 plugin_def("export_stat",      "export board statistics",         sbuildin, 1)
-plugin_def("export_stl",       "3d export: STL",                  sbuildin, 1)
+plugin_def("export_stl",       "3d export: STL/amf/pro",          sbuildin, 1)
 plugin_def("export_svg",       "SVG pcb_exporter",                sbuildin, 1)
 plugin_def("export_vfs_fuse",  "FUSE VFS server",                 sdisable, 1)
 plugin_def("export_vfs_mc",    "GNU mc VFS server",               sdisable, 1)