--- sk2ps.py	Fri Nov  8 14:25:41 2002
+++ sk2ps-embed.py	Fri Nov  8 14:22:37 2002
@@ -77,6 +77,7 @@
 
 Other Options:
 
+  -e --embed-fonts      Embed fonts in the eps file.
   -r --rotate           Rotate the drawing 90 degree counter clockwise
 '''
 
@@ -89,15 +90,16 @@
 
     draw_printable = 1
     draw_visible = 0
+    embed_fonts = 0
     eps_for = util.get_real_username()
     eps_date = util.current_date()
     eps_title = None
     rotate = 0
     
     import getopt
-    opts, args = getopt.getopt(sys.argv[1:], 'hprvd:f:t:',
+    opts, args = getopt.getopt(sys.argv[1:], 'hprved:f:t:',
 			       ['help', 'noprintable', 'rotate', 'visible',
-				'for=', 'date=', 'title='])
+				'embed-fonts', 'for=', 'date=', 'title='])
     
     for optchar, value in opts:
 	if optchar == '-h' or optchar == '--help':
@@ -115,6 +117,8 @@
             rotate = 1
 	elif optchar == '-t' or optchar == '--title':
 	    eps_title = value
+        elif optchar == '-e' or optchar == '--embed-fonts':
+            embed_fonts = 1
     
     if len(args) not in (1, 2):
 	print_usage()
@@ -131,7 +135,7 @@
 	
     sk2ps(filename, psfile, printable= draw_printable, visible = draw_visible,
           For = eps_for, CreationDate = eps_date, Title = eps_title,
-          rotate = rotate)
+          rotate = rotate, embed_fonts = embed_fonts)
 
 if __name__ == '__main__':
     result = main()