home *** CD-ROM | disk | FTP | other *** search
/ Creative Computers / CreativeComputers.iso / shareware / text / dvi_3.62 / manual / dviman.lha / driver.tex / labels.pl < prev    next >
Text File  |  1994-02-15  |  10KB  |  406 lines

  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate labels original text with physical files.
  3.  
  4.  
  5. $key = q/dvi_bes/;
  6. $external_labels{$key} = "$URL/" . q|node33_ct.html|; 
  7. $noresave{$key} = "$nosave";
  8.  
  9. $key = q/dviami/;
  10. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  11. $noresave{$key} = "$nosave";
  12.  
  13. $key = q/dviamiscr/;
  14. $external_labels{$key} = "$URL/" . q|node26_ct.html|; 
  15. $noresave{$key} = "$nosave";
  16.  
  17. $key = q/dvilw/;
  18. $external_labels{$key} = "$URL/" . q|node3_ct.html|; 
  19. $noresave{$key} = "$nosave";
  20.  
  21. $key = q/dvilw_aw/;
  22. $external_labels{$key} = "$URL/" . q|node6_ct.html|; 
  23. $noresave{$key} = "$nosave";
  24.  
  25. $key = q/ebild/;
  26. $external_labels{$key} = "$URL/" . q|node79_ct.html|; 
  27. $noresave{$key} = "$nosave";
  28.  
  29. $key = q/kdover/;
  30. $external_labels{$key} = "$URL/" . q|node29_ct.html|; 
  31. $noresave{$key} = "$nosave";
  32.  
  33. $key = q/la101/;
  34. $external_labels{$key} = "$URL/" . q|node58_ct.html|; 
  35. $noresave{$key} = "$nosave";
  36.  
  37. $key = q/la10b/;
  38. $external_labels{$key} = "$URL/" . q|node96_ct.html|; 
  39. $noresave{$key} = "$nosave";
  40.  
  41. $key = q/la11/;
  42. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  43. $noresave{$key} = "$nosave";
  44.  
  45. $key = q/la12/;
  46. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  47. $noresave{$key} = "$nosave";
  48.  
  49. $key = q/la13/;
  50. $external_labels{$key} = "$URL/" . q|node87_ct.html|; 
  51. $noresave{$key} = "$nosave";
  52.  
  53. $key = q/la14/;
  54. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  55. $noresave{$key} = "$nosave";
  56.  
  57. $key = q/la15/;
  58. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  59. $noresave{$key} = "$nosave";
  60.  
  61. $key = q/la16/;
  62. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  63. $noresave{$key} = "$nosave";
  64.  
  65. $key = q/la17/;
  66. $external_labels{$key} = "$URL/" . q|node89_ct.html|; 
  67. $noresave{$key} = "$nosave";
  68.  
  69. $key = q/la18/;
  70. $external_labels{$key} = "$URL/" . q|node89_ct.html|; 
  71. $noresave{$key} = "$nosave";
  72.  
  73. $key = q/la19/;
  74. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  75. $noresave{$key} = "$nosave";
  76.  
  77. $key = q/la7/;
  78. $external_labels{$key} = "$URL/" . q|node86_ct.html|; 
  79. $noresave{$key} = "$nosave";
  80.  
  81. $key = q/la8/;
  82. $external_labels{$key} = "$URL/" . q|node88_ct.html|; 
  83. $noresave{$key} = "$nosave";
  84.  
  85. $key = q/la9/;
  86. $external_labels{$key} = "$URL/" . q|node95_ct.html|; 
  87. $noresave{$key} = "$nosave";
  88.  
  89. $key = q/laamiga/;
  90. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  91. $noresave{$key} = "$nosave";
  92.  
  93. $key = q/lafontnames/;
  94. $external_labels{$key} = "$URL/" . q|node37_ct.html|; 
  95. $noresave{$key} = "$nosave";
  96.  
  97. $key = q/lagemvers/;
  98. $external_labels{$key} = "$URL/" . q|node10_ct.html|; 
  99. $noresave{$key} = "$nosave";
  100.  
  101. $key = q/lagratut/;
  102. $external_labels{$key} = "$URL/" . q|node82_ct.html|; 
  103. $noresave{$key} = "$nosave";
  104.  
  105. $key = q/lamotif/;
  106. $external_labels{$key} = "$URL/" . q|node18_ct.html|; 
  107. $noresave{$key} = "$nosave";
  108.  
  109. $key = q/larrow/;
  110. $external_labels{$key} = "$URL/" . q|node97_ct.html|; 
  111. $noresave{$key} = "$nosave";
  112.  
  113. $key = q/laweiter/;
  114. $external_labels{$key} = "$URL/" . q|node100_ct.html|; 
  115. $noresave{$key} = "$nosave";
  116.  
  117. $key = q/lbildmac/;
  118. $external_labels{$key} = "$URL/" . q|node80_ct.html|; 
  119. $noresave{$key} = "$nosave";
  120.  
  121. $key = q/ldis/;
  122. $external_labels{$key} = "$URL/" . q|node99_ct.html|; 
  123. $noresave{$key} = "$nosave";
  124.  
  125. $key = q/ldisplay/;
  126. $external_labels{$key} = "$URL/" . q|node99_ct.html|; 
  127. $noresave{$key} = "$nosave";
  128.  
  129. $key = q/ldvi/;
  130. $external_labels{$key} = "$URL/" . q|node10_ct.html|; 
  131. $noresave{$key} = "$nosave";
  132.  
  133. $key = q/lepsf/;
  134. $external_labels{$key} = "$URL/" . q|node81_ct.html|; 
  135. $noresave{$key} = "$nosave";
  136.  
  137. $key = q/lfilegr/;
  138. $external_labels{$key} = "$URL/" . q|node98_ct.html|; 
  139. $noresave{$key} = "$nosave";
  140.  
  141. $key = q/lfiletex/;
  142. $external_labels{$key} = "$URL/" . q|node98_ct.html|; 
  143. $noresave{$key} = "$nosave";
  144.  
  145. $key = q/lgrafx/;
  146. $external_labels{$key} = "$URL/" . q|node31_ct.html|; 
  147. $noresave{$key} = "$nosave";
  148.  
  149. $key = q/lgraph/;
  150. $external_labels{$key} = "$URL/" . q|node79_ct.html|; 
  151. $noresave{$key} = "$nosave";
  152.  
  153. $key = q/lkofu/;
  154. $external_labels{$key} = "$URL/" . q|node91_ct.html|; 
  155. $noresave{$key} = "$nosave";
  156.  
  157. $key = q/lkurv/;
  158. $external_labels{$key} = "$URL/" . q|node92_ct.html|; 
  159. $noresave{$key} = "$nosave";
  160.  
  161. $key = q/llines/;
  162. $external_labels{$key} = "$URL/" . q|node97_ct.html|; 
  163. $noresave{$key} = "$nosave";
  164.  
  165. $key = q/llitps/;
  166. $external_labels{$key} = "$URL/" . q|node49_ct.html|; 
  167. $noresave{$key} = "$nosave";
  168.  
  169. $key = q/lmacro/;
  170. $external_labels{$key} = "$URL/" . q|node78_ct.html|; 
  171. $noresave{$key} = "$nosave";
  172.  
  173. $key = q/lmulsin/;
  174. $external_labels{$key} = "$URL/" . q|node93_ct.html|; 
  175. $noresave{$key} = "$nosave";
  176.  
  177. $key = q/lopts/;
  178. $external_labels{$key} = "$URL/" . q|node5_ct.html|; 
  179. $noresave{$key} = "$nosave";
  180.  
  181. $key = q/lps2/;
  182. $external_labels{$key} = "$URL/" . q|node51_ct.html|; 
  183. $noresave{$key} = "$nosave";
  184.  
  185. $key = q/ltrps/;
  186. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  187. $noresave{$key} = "$nosave";
  188.  
  189. $key = q/luni/;
  190. $external_labels{$key} = "$URL/" . q|node90_ct.html|; 
  191. $noresave{$key} = "$nosave";
  192.  
  193. $key = q/lx11/;
  194. $external_labels{$key} = "$URL/" . q|node18_ct.html|; 
  195. $noresave{$key} = "$nosave";
  196.  
  197. $key = q/optamiga/;
  198. $external_labels{$key} = "$URL/" . q|node24_ct.html|; 
  199. $noresave{$key} = "$nosave";
  200.  
  201. 1;
  202.  
  203.  
  204. # LaTeX2HTML 2022 (Released January 1, 2022)
  205. # labels from external_latex_labels array.
  206.  
  207.  
  208. $key = q/dvi_bes/;
  209. $external_latex_labels{$key} = q|2.6|; 
  210. $noresave{$key} = "$nosave";
  211.  
  212. $key = q/dviami/;
  213. $external_latex_labels{$key} = q|2.3|; 
  214. $noresave{$key} = "$nosave";
  215.  
  216. $key = q/dviamiscr/;
  217. $external_latex_labels{$key} = q|2.3.2|; 
  218. $noresave{$key} = "$nosave";
  219.  
  220. $key = q/dvilw/;
  221. $external_latex_labels{$key} = q|1|; 
  222. $noresave{$key} = "$nosave";
  223.  
  224. $key = q/dvilw_aw/;
  225. $external_latex_labels{$key} = q|1.3|; 
  226. $noresave{$key} = "$nosave";
  227.  
  228. $key = q/ebild/;
  229. $external_latex_labels{$key} = q|4.4|; 
  230. $noresave{$key} = "$nosave";
  231.  
  232. $key = q/kdover/;
  233. $external_latex_labels{$key} = q|2.4|; 
  234. $noresave{$key} = "$nosave";
  235.  
  236. $key = q/la101/;
  237. $external_latex_labels{$key} = q|4.3|; 
  238. $noresave{$key} = "$nosave";
  239.  
  240. $key = q/la10b/;
  241. $external_latex_labels{$key} = q|A.18|; 
  242. $noresave{$key} = "$nosave";
  243.  
  244. $key = q/la11/;
  245. $external_latex_labels{$key} = q|A.2|; 
  246. $noresave{$key} = "$nosave";
  247.  
  248. $key = q/la12/;
  249. $external_latex_labels{$key} = q|A.3|; 
  250. $noresave{$key} = "$nosave";
  251.  
  252. $key = q/la13/;
  253. $external_latex_labels{$key} = q|A.4|; 
  254. $noresave{$key} = "$nosave";
  255.  
  256. $key = q/la14/;
  257. $external_latex_labels{$key} = q|A.6|; 
  258. $noresave{$key} = "$nosave";
  259.  
  260. $key = q/la15/;
  261. $external_latex_labels{$key} = q|A.7|; 
  262. $noresave{$key} = "$nosave";
  263.  
  264. $key = q/la16/;
  265. $external_latex_labels{$key} = q|A.8|; 
  266. $noresave{$key} = "$nosave";
  267.  
  268. $key = q/la17/;
  269. $external_latex_labels{$key} = q|A.9|; 
  270. $noresave{$key} = "$nosave";
  271.  
  272. $key = q/la18/;
  273. $external_latex_labels{$key} = q|A.10|; 
  274. $noresave{$key} = "$nosave";
  275.  
  276. $key = q/la19/;
  277. $external_latex_labels{$key} = q|A.11|; 
  278. $noresave{$key} = "$nosave";
  279.  
  280. $key = q/la7/;
  281. $external_latex_labels{$key} = q|A.1|; 
  282. $noresave{$key} = "$nosave";
  283.  
  284. $key = q/la8/;
  285. $external_latex_labels{$key} = q|A.5|; 
  286. $noresave{$key} = "$nosave";
  287.  
  288. $key = q/la9/;
  289. $external_latex_labels{$key} = q|A.17|; 
  290. $noresave{$key} = "$nosave";
  291.  
  292. $key = q/laamiga/;
  293. $external_latex_labels{$key} = q|2.3|; 
  294. $noresave{$key} = "$nosave";
  295.  
  296. $key = q/lafontnames/;
  297. $external_latex_labels{$key} = q|3.2|; 
  298. $noresave{$key} = "$nosave";
  299.  
  300. $key = q/lagemvers/;
  301. $external_latex_labels{$key} = q|2.1|; 
  302. $noresave{$key} = "$nosave";
  303.  
  304. $key = q/lagratut/;
  305. $external_latex_labels{$key} = q|A|; 
  306. $noresave{$key} = "$nosave";
  307.  
  308. $key = q/lamotif/;
  309. $external_latex_labels{$key} = q|2.2|; 
  310. $noresave{$key} = "$nosave";
  311.  
  312. $key = q/larrow/;
  313. $external_latex_labels{$key} = q|A.20|; 
  314. $noresave{$key} = "$nosave";
  315.  
  316. $key = q/laweiter/;
  317. $external_latex_labels{$key} = q|C|; 
  318. $noresave{$key} = "$nosave";
  319.  
  320. $key = q/lbildmac/;
  321. $external_latex_labels{$key} = q|4.2.2|; 
  322. $noresave{$key} = "$nosave";
  323.  
  324. $key = q/ldis/;
  325. $external_latex_labels{$key} = q|B.1|; 
  326. $noresave{$key} = "$nosave";
  327.  
  328. $key = q/ldisplay/;
  329. $external_latex_labels{$key} = q|B|; 
  330. $noresave{$key} = "$nosave";
  331.  
  332. $key = q/ldvi/;
  333. $external_latex_labels{$key} = q|2.1|; 
  334. $noresave{$key} = "$nosave";
  335.  
  336. $key = q/lepsf/;
  337. $external_latex_labels{$key} = q|4.2.3|; 
  338. $noresave{$key} = "$nosave";
  339.  
  340. $key = q/lfilegr/;
  341. $external_latex_labels{$key} = q|A.22|; 
  342. $noresave{$key} = "$nosave";
  343.  
  344. $key = q/lfiletex/;
  345. $external_latex_labels{$key} = q|A.21|; 
  346. $noresave{$key} = "$nosave";
  347.  
  348. $key = q/lgrafx/;
  349. $external_latex_labels{$key} = q|2.4|; 
  350. $noresave{$key} = "$nosave";
  351.  
  352. $key = q/lgraph/;
  353. $external_latex_labels{$key} = q|4.2.1|; 
  354. $noresave{$key} = "$nosave";
  355.  
  356. $key = q/lkofu/;
  357. $external_latex_labels{$key} = q|A.14|; 
  358. $noresave{$key} = "$nosave";
  359.  
  360. $key = q/lkurv/;
  361. $external_latex_labels{$key} = q|A.15|; 
  362. $noresave{$key} = "$nosave";
  363.  
  364. $key = q/llines/;
  365. $external_latex_labels{$key} = q|A.19|; 
  366. $noresave{$key} = "$nosave";
  367.  
  368. $key = q/llitps/;
  369. $external_latex_labels{$key} = q|4.1|; 
  370. $noresave{$key} = "$nosave";
  371.  
  372. $key = q/lmacro/;
  373. $external_latex_labels{$key} = q|4.2|; 
  374. $noresave{$key} = "$nosave";
  375.  
  376. $key = q/lmulsin/;
  377. $external_latex_labels{$key} = q|A.16|; 
  378. $noresave{$key} = "$nosave";
  379.  
  380. $key = q/lopts/;
  381. $external_latex_labels{$key} = q|1.2|; 
  382. $noresave{$key} = "$nosave";
  383.  
  384. $key = q/lps2/;
  385. $external_latex_labels{$key} = q|4.2|; 
  386. $noresave{$key} = "$nosave";
  387.  
  388. $key = q/ltrps/;
  389. $external_latex_labels{$key} = q|A.12|; 
  390. $noresave{$key} = "$nosave";
  391.  
  392. $key = q/luni/;
  393. $external_latex_labels{$key} = q|A.13|; 
  394. $noresave{$key} = "$nosave";
  395.  
  396. $key = q/lx11/;
  397. $external_latex_labels{$key} = q|2.2|; 
  398. $noresave{$key} = "$nosave";
  399.  
  400. $key = q/optamiga/;
  401. $external_latex_labels{$key} = q|2.1|; 
  402. $noresave{$key} = "$nosave";
  403.  
  404. 1;
  405.  
  406.