%% %% This is file `readme.tex', %% generated with the docstrip utility. %% %% The original source files were: %% %% japanese.dtx (with options: `readme') %%