*** pdftex.ch.org	Thu Jun  5 20:44:22 2003
--- pdftex.ch	Thu Jun  5 21:23:58 2003
***************
*** 418,423 ****
--- 418,424 ----
  @d pdf_font_name_code     = 7  {command code for \.{\\pdffontname}}
  @d pdf_font_objnum_code   = 8  {command code for \.{\\pdffontobjnum}}
  @d pdf_font_size_code     = 9  {command code for \.{\\pdffontsize}}
+ @d pdf_shell_escape_code  = 10 {command code for \.{\\pdfshellescape}}
  @z
  
  @x [413] - HZ
***************
*** 485,490 ****
--- 486,493 ----
  @!@:pdf_font_objnum_}{\.{\\pdffontobjnum} primitive@>
  primitive("pdffontsize",convert,pdf_font_size_code);@/
  @!@:pdf_font_size_}{\.{\\pdffontsize} primitive@>
+ primitive("pdfshellescape",convert,pdf_shell_escape_code);@/
+ @!@:pdf_shell_escape_}{\.{\\pdfshellescape} primitive@>
  @z
  
  @x [417]
***************
*** 552,564 ****
    pdf_font_name_code:     print_esc("pdffontname");
    pdf_font_objnum_code:   print_esc("pdffontobjnum");
    pdf_font_size_code:     print_esc("pdffontsize");
    othercases print_esc("jobname")
  @z
  
  @x [471]
  end {there are no other cases}
  @y
! pdftex_revision_code: do_nothing;
  pdf_font_name_code, pdf_font_objnum_code, pdf_font_size_code: begin
      scan_font_ident;
      if cur_val = null_font then
--- 555,568 ----
    pdf_font_name_code:     print_esc("pdffontname");
    pdf_font_objnum_code:   print_esc("pdffontobjnum");
    pdf_font_size_code:     print_esc("pdffontsize");
+   pdf_shell_escape_code:  print_esc("pdfshellescape");
    othercases print_esc("jobname")
  @z
  
  @x [471]
  end {there are no other cases}
  @y
! pdftex_revision_code, pdf_shell_escape_code: do_nothing;
  pdf_font_name_code, pdf_font_objnum_code, pdf_font_size_code: begin
      scan_font_ident;
      if cur_val = null_font then
***************
*** 576,581 ****
--- 580,591 ----
  end {there are no other cases}
  @y
  pdftex_revision_code: print(pdftex_revision);
+ pdf_shell_escape_code: begin
+     if shell_enabled_p then
+         print_int(1)
+     else
+         print_int(0);
+ end;
  pdf_font_name_code, pdf_font_objnum_code: begin
      set_ff(cur_val);
      if c = pdf_font_name_code then