-/* Emit HTML to FILE to change from *OLD_ATTR attributes to NEW_ATTR.
- Sets *OLD_ATTR to NEW_ATTR when done. */
-static void
-change_attributes (FILE *f, int *old_attr, int new_attr)
-{
- if (*old_attr == new_attr)
- return;
-
- if (*old_attr & OUTP_F_B)
- fputs ("</B>", f);
- if (*old_attr & OUTP_F_I)
- fputs ("</I>", f);
- if (new_attr & OUTP_F_I)
- fputs ("<I>", f);
- if (new_attr & OUTP_F_B)
- fputs ("<B>", f);
-
- *old_attr = new_attr;