commit 917aff947c8b434b0a4e7c93c42aa95dc39a8737
parent 6bc8dd351c973985c74a765de822f5b28614b5ef
Author: salva <salva@firulillo.hopto.org>
Date: Wed, 19 Apr 2006 20:01:03 +0000
cosmetic to correctly display \refs with dvi,pdf & html formats
Diffstat:
2 files changed, 16 insertions(+), 5 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
@@ -2,13 +2,17 @@
SRC = guide_en.tex wmii.tex
Odvi = ${SRC:.tex=.dvi}
Opdf = ${SRC:.tex=.pdf}
+Ohtml = ${SRC:.tex=.html}
-all: ${Odvi} ${Opdf}
- @echo finished doc
+all: ${Odvi} ${Opdf} #${Ohtml}
%.dvi: %.tex
latex -interaction=batchmode $<
latex -interaction=batchmode $<
%.pdf: %.tex
pdflatex $<
+ pdflatex $<
+%.html: %.tex
+ latex2html $<
clean:
rm -f *.pdf *.dvi *.log *.aux *.out *.toc
+ rm -rf guide_en
diff --git a/doc/guide_en.tex b/doc/guide_en.tex
@@ -18,14 +18,21 @@
\documentclass[12pt,a4paper]{article} %options given to article are inherited to all packages
\usepackage[latin1]{inputenc}
\usepackage[left=3cm,top=2cm,right=2cm,bottom=3cm]{geometry}
-%\usepackage[dvipdfm]{hyperref} %uncomment to disable clickable links
%\usepackage{ngerman}
\usepackage{times}
\usepackage{indentfirst,html,moreverb}
% remove this if you want, it's just a matter of imposed imperialist cultures
-% so if I'm given the chance to choose i choose to indent the first paragraph
+% so if I'm given the chance to choose I choose to indent the first paragraph
% (I learn this way in the school, and don't want to relearn the british way)
-\newcommand{\hrefx}[1]{\href{#1}{#1}} % hrefs and 's' for simple and explicit
+
+%% welcome to the the dirty hacks section
+\newcommand{\hrefx}[1]{\href{#1}{#1}} % explicit \href
+% un'% below so latex2html can handle refs correctly (until a better solution is found)
+%\renewcommand{\href}[2]{\htmladdnormallink{#2}{#1}}
+%\renewcommand{\hrefx}[1]{\htmladdnormallink{#1}{#1}}
+%\renewcommand{\verbatiminput}[1]{\input{#1}}
+%\usepackage[dvipdfm]{hyperref} % disable clickable refs
+
\newenvironment{itemize*}
{\begin{itemize}
\setlength{\itemsep}{0pt}