File: createHTML

package info (click to toggle)
ball 1.5.0%2Bgit20180813.37fc53c-11
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 239,924 kB
  • sloc: cpp: 326,149; ansic: 4,208; python: 2,303; yacc: 1,778; lex: 1,099; xml: 958; sh: 322; javascript: 164; makefile: 88
file content (15 lines) | stat: -rwxr-xr-x 365 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#/bin/sh
echo WARNING: latex2html version 1.71 or higher is needed
rm -rf HTML
rm -rf TEMP
mkdir TEMP 
cp * TEMP 2>/dev/null
cd TEMP
sed -i "s/lstlisting}{}/verbatim}/g" *.tex
sed -i "s/lstlisting}/verbatim}/g" *.tex
rm -rf HTML
mkdir HTML
latex2html -local_icons -init_file latex2html-init.BALL -dir HTML tutorial.tex 2>&1|tee l2h.log
mv HTML ..
cd ..
rm -rf TEMP