9- Sortie hypertexte en langage HTML


pMATH permet des sorties en langage HTML de description de pages hypertexte. HTML est le langage hypertexte utilisé par WWW (Netscape ou NCSA mosaic).
Pour la conversion au format GIF des images TIM partielles, produites par pMATH, qui contiennent les figures et formules mathématiques, il faut que le programme img_to_gif soit disponible[formule] [note] Ce programme est appelé par system().
Avant de produire une page HTML, pMATH demande le directory où mettre tous les fichiers composant les pages hypertexte, le nom de la première page (celle contenant les informations jusqu'à la première commande [formule]), le nom du fichier contenant toutes les notes de bas de page et la base du nom de images. Les images seront stockées sous la forme base1.gif, base2.gif, base3.gif etc. pMATH demande enfin la couleur du fond. Cette couleur est utilisée comme fond pour les fichiers GIF et est passée en argument de la directive <BODY...>. Noter que NCSA mosaic ignore cette procédure, et utilise un fond à 0xC0C0C0 (gris clair). Si vous voulez mettre une texture en fond d'écran, changer la directive en :
<BODY BACKGROUND="nom_image.gif">
Dans le fichier index.html, il faut aussi remplir la directive <TITLE>...</TITLE> avec le titre de la page que l'on veut voir apparaître au dessus de l'URL dans la fenêtre NCSA mosaic ou Netscape. D'autre part, pour intégration dans le SIST, il faut mettre le numéro ISP (par exemple S_9606 pour le [formule][formule] document produit par DE[formule] en 19[formule]) dans la directive <META NAME="keywords" CONTENT="...">.
Vous pouvez utiliser les commandes d'impression [formule] pour insérer des commandes HTML dans le texte (ces commandes sont ignorées dans les autres modes de sortie pMATH). Je suggère de se limiter aux directives suivantes :
<HR> pour insérer une ligne de séparation horizontale.
<H1> et </H1> pour entourer le titre du document.
<H2> et </H2> pour les titres de chapitres, <H3> et </H3> pour les titres de section, etc.
<A NAME="label" HREF="destination">texte</A> défini un lien hypertexte. Le texte sera souligné (ou encadré s'il s'agit d'une image) et servira de lien hypertexte. Le label permet d'adresser ce point à partir d'un autre endroit de la page ou à partir d'une autre page hypertexte. La destination est la ressource adressée quand on clique sur le texte. La destination peut prendre de nombreuses formes comme :
#label s'il s'agit d'un autre point de la même page.
http:/adresse_WWW s'il s'agit d'une autre page.
http:/adresse_WWW#label s'il s'agit d'un point particulier d'une autre page WWW.
image.gif s'il s'agit d'une image (très utile pour afficher en pleine résolution une image réduite dans le texte).
Il y a beaucoup d'autres formes similaires à l'image GIF (sons, animations MPEG), ainsi qu'à l'URL WWW (URLs mailto:adresse email ou ftp: par exemple) mais il faut se souvenir que les autres formats compliqués ne sont pas forcement lisibles depuis tous les environnements (penser aux macs et au PCs).
Si vous tenez à tout prix à utiliser des tableaux HTML (et non des images de tableau comme produit par pMATH), il faut substituer :
[formule] par [formule]
[formule] par [formule]
[formule] par [formule]
[formule] par [formule]
Mais personnellement je trouve les tableaux pMATH plus pratiques (en particulier les lignes entre rangées et/ou colonnes).
Les directives de style utilisées par HTML sont exclusivement le gras, l'italique et le courrier (pMATH essaie de deviner si la fonte est grasse ou italique et suppose que les directives correspondantes peuvent être imbriquées. L'échelle des images GIF insérées est celle de la visualisation sur écran de pMATH et la sortie est monochrome ou couleur selon le mode de sortie raster. Généralement pour un texte lisible imprimé en 300 dpi l'échelle 4 (3 si la fonte principale est petite) est la bonne.
Pour les figures Postscript, la production postscript est faite à l'échelle de l'image GIF. Le résultat est parfois peu satisfaisant (aliasing important sur les lignes et les caractères) il est parfois intéressant de reprendre le fichier gif correspondant en produisant une image de haute résolution (par exemple par PS_to_img -dpi300 fichier.PS image), en la réduisant à l'échelle résultat (par exemple par frame image -r larg haut -out image), et en la convertissant en GIF (par exemple par img_to_gif -o image imgnnn.gif).
page suivante . . . . . . . . . . . . . table des matières