Re: texinfo bug or user error: dots inside example

[Karl Berry]

    I recommend suppressing the use of <small> and other elements that
    change font sizes within <pre> segments.  

Patch below (I also changed tabs to spaces, in case it gets garbled in
email).  Actually it will suppress <small> in all fixed-width contexts,
since that was much easier to implement than checking for being within a <pre>.

    That probably affects more than just @dots.

I expect you're right, but I still just fixed @dots :).
Let me know if you find other problematic cases ...

Thanks,
karl


*** cmds.c      10 Oct 2002 21:47:20 -0000      1.5
--- cmds.c      15 Oct 2002 21:53:49 -0000
***************
*** 422,432 ****
    if (arg == START)
      {
        if (xml && !docbook)
!       xml_insert_entity ("dots");
        else if (docbook)
!       xml_insert_entity ("hellip");
        else
!       add_word (html ? "<small>...</small>" : "...");
      }
  }
  
--- 422,433 ----
    if (arg == START)
      {
        if (xml && !docbook)
!         xml_insert_entity ("dots");
        else if (docbook)
!         xml_insert_entity ("hellip");
        else
!         add_word (html && !in_fixed_width_font
!                   ? "<small>...</small>" : "...");
      }
  }
  
***************
*** 445,451 ****
          add_char ('.');
        }
        else
!       add_word (html ? "<small>...</small>." : "....");
      }
  }
  
--- 446,453 ----
          add_char ('.');
        }
        else
!       add_word (html && !in_fixed_width_font 
!                   ? "<small>...</small>." : "....");
      }
  }