-% Header info (macros/defs, etc) should go into a \special{! ... };
-% note the ! sign. See dvips.info for details.
-%
-% We protect punctuation characters with \string to avoid problems with
-% language specific shorthands (e.g. `:' for French, `"' for German, etc.).
+%% Header info (macros/defs, etc) should go into a \special{! ... };
+%% note the ! sign. See dvips.info for details.
+%%
+%% We protect punctuation characters with \string to avoid problems with
+%% language specific shorthands (e.g. `:' for French, `"' for German, etc.).