diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/tex4ht/mn30.html')
-rw-r--r-- | Master/texmf-dist/doc/generic/tex4ht/mn30.html | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/tex4ht/mn30.html b/Master/texmf-dist/doc/generic/tex4ht/mn30.html new file mode 100644 index 00000000000..9f9e863ef0c --- /dev/null +++ b/Master/texmf-dist/doc/generic/tex4ht/mn30.html @@ -0,0 +1,23 @@ +<?xml version="1.0" encoding="iso-8859-1" ?> +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<!--http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd--> +<html xmlns="http://www.w3.org/1999/xhtml" +> +<head><title>alternative scripts</title> +<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> +<meta name="generator" content="TeX4ht (https://tug.org/tex4ht/)" /> +<meta name="originator" content="TeX4ht (https://tug.org/tex4ht/)" /> +<!-- xhtml,th4,index --> +<meta name="src" content="mn.tex" /> +<link rel="stylesheet" type="text/css" href="mn.css" /> +</head><body +> +<div class="Verbatim"><span class="cmtt-10">Mif</span><span class="cmtt-10"> exist</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> del</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> </span> +<br /><span class="cmtt-10">Mif</span><span class="cmtt-10"> exists</span><span class="cmtt-10"> %%1</span><span class="cmtt-10"> move</span><span class="cmtt-10"> %%1</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> </span> +<br /><span class="cmtt-10">Cif</span><span class="cmtt-10"> exist</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> del</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> </span> +<br /><span class="cmtt-10">Cif</span><span class="cmtt-10"> exists</span><span class="cmtt-10"> %%1</span><span class="cmtt-10"> copy</span><span class="cmtt-10"> %%1</span><span class="cmtt-10"> %%2%%3</span><span class="cmtt-10"> </span> +<br /></div> + + +</body></html> |