/* $Id: latex2html.pl,v 1.9 1998/03/24 13:38:07 jan Exp $
Designed and implemented by Jan Wielemaker
E-mail: jan@swi.psy.uva.nl
Copyright (C) 1996 University of Amsterdam. All rights reserved.
*/
:- module(tex,
[ welcome/0,
latex2html/1, % +BaseName
macro_expand/2, % +In, -Out
translate/4, % +In, +ModeIn, -ModeOut, -Out
translate/3, % +In, +ModeIn, -Out
latex2html_module/0, % Register extension module
tex_input_directory/1, % +Input Dir
step_counter/2, % +Name, -NewValue
ps2gif/3, % +PsFile, -GifFile, +Options
translate_command/4, % +In, +ModeIn, -ModeOut, -HTML
translate_environment/4, % +In, +ModeIn, -ModeOut, -HTML
translate_reference/4, % +Kind, +RefPrefix, +Label, -HTML
translate_footnote/2, % +Text, -HTML
translate_table/3, % +Format, +BodyTokens, -HTML
current_setting/1, % +Type(-Value ...)
do_float/2, % +Float(+Number), :Goal
tex_load_commands/1, % +BaseName
add_to_index/1, % +Term
add_to_index/2, % +Term, +Tag
clean_tt/2, % +Raw, -Clean
downcase_atom/2, % +Atom, -LowerCase
upcase_atom/2 % +Atom, -UpperCase
]).
:- use_module(library(quintus)).
version('0.10').
:- dynamic
html_output_dir/1, % output relative to this dir
tex_file_base/1, % Basename of the main file
html_file_base/1, % Basename of main output file
html_split_level/1, % Split upto this level
title/1, % \title{} storage
author/1. % \auther{} command storage
:- discontiguous
cmd/2,
cmd/3,
cmd/4.
html_split_level(2).
html_file_base('Title').
:- multifile
user:file_search_path/2.
:- dynamic
user:file_search_path/2.
user:file_search_path(foreign, library(Lib)) :-
feature(arch, Arch),
concat('lib/', Arch, Lib).
user:file_search_path(psfig, tex(figs)).
user:file_search_path(tex, '.').
:- load_foreign_library(user:foreign(tex)).
:- op(100, fx, #).
/*******************************
* TEX INPUTS *
*******************************/
read_tex_inputs :-
getenv('TEXINPUTS', Val), !,
split(Val, ":", PathElement),
retractall(user:file_search_path(tex, _)),
reverse(PathElement, RevPath),
forall(member(E, RevPath), assert_tex_input(E)).
read_tex_inputs.
assert_tex_input('') :- !,
asserta(user:file_search_path(tex, '.')).
assert_tex_input(Dir) :-
asserta(user:file_search_path(tex, Dir)).
/*******************************
* EXTENSION MODULES *
*******************************/
:- dynamic
tex_extension_module/1.
tex_extension_module(tex).
:- module_transparent
latex2html_module/0.
latex2html_module :-
context_module(M),
( tex:tex_extension_module(M)
-> true
; asserta(tex:tex_extension_module(M))
),
M:dynamic((cmd/2, cmd/3, cmd/4, env/2, (#)/2)),
M:discontiguous((cmd/2, cmd/3, cmd/4, env/2, (#)/2)).
% Load a tex command file
tex_load_commands(File) :-
( member(Term, [tex(File), library(File)]),
absolute_file_name(Term,
[ extensions([cmd]),
access(read)
],
CmdFile)
-> tex_read_commands(CmdFile),
format(user_error, 'Loaded LaTeX commands from "~w"~n', [CmdFile])
; format(user_error, 'Can not find command file "~w"~n', [File]),
fail
).
tex_input_directory(D) :-
asserta(user:file_search_path(tex, D)).
% current_setting(?Term)
%
% Report current settings to the extension module
current_setting(keep_figures) :-
keep_figures(true).
current_setting(html_output_dir(Dir)) :-
html_output_dir(Dir).
/*******************************
* SETTINGS *
*******************************/
keep_figures(true).
onefile(false).
makeindex(false).
title('No title').
author('Anonymous').
/*******************************
* TOPLEVEL *
*******************************/
latex2html(TeXFile, Base) :-
reset_footnotes,
reset_counters,
reset_sections,
reset_index,
reset_labels,
reset_cites,
reset_output,
tex_tokens(TeXFile, TeXTokens),
( member(env(document, _, _), TeXTokens)
-> translate(TeXTokens, preamble, HTML)
; format(user_error,
'No document environment; processing anyway~n', []),
translate(TeXTokens, document, HTML)
),
expand_macros([tell(Base), #header], Header),
footnote_html(FootNotes),
make_index(Index),
flatten([ Header,
HTML,
FootNotes,
Index
],
HtmlDocument),
collect_labels(HtmlDocument, Base),
write_html(HtmlDocument),
close_output.
latex2html(Spec) :-
welcome,
tex_load_commands(latex),
file_name_extension(Spec, tex, TeXFile),
file_name_extension(Base, tex, TeXFile),
absolute_file_name(tex(TeXFile),
[ access(read),
file_errors(true)
],
TheTeXFile),
asserta(html_output_dir(Base)),
asserta(tex_file_base(Base)),
( exists_directory(Base)
-> true
; sformat(Cmd, 'mkdir ~w~n', [Base]),
shell(Cmd)
),
html_file_base(Main),
latex2html(TheTeXFile, Main),
goodbye,
retract(tex_file_base(_)),
retract(html_output_dir(_)).
:- dynamic
current_html_output_db/1, % Base
in_head/1.
reset_output :-
retractall(current_html_output_db(_)),
retractall(in_head(_)).
open_output(Base) :-
html_output_dir(Dir), !,
concat_atom([Dir, /, Base, '.html'], HtmlFile),
tex_tell(HtmlFile),
put_html_token(html('')),
asserta(current_html_output_db(Base)).
close_output :-
( retract(current_html_output_db(_))
-> put_html_token(html('')),
put_html_token(html('