Merge latex and make_html2text into textproc
Этот коммит содержится в:
родитель
934fdcc3e9
Коммит
cf6c8d2c63
|
@ -1 +1 @@
|
|||
../latex/latexd.sh
|
||||
../textproc/latexd.sh
|
|
@ -1 +1 @@
|
|||
../make_html2text/make_html2text.sh
|
||||
../textproc/make_html2text.sh
|
|
@ -1,9 +0,0 @@
|
|||
latexd.sh watches a file and calls make when it is changed. This is
|
||||
useful to automatically compile a LaTeX document when saved.
|
||||
To detect a change, a MD5 sum of the file is computed.
|
||||
|
||||
This script works well (at least) on GNU/Linux and FreeBSD.
|
||||
|
||||
Limitations :
|
||||
- Handles only a single file.
|
||||
- The delay between two checks is not configurable.
|
|
@ -1,9 +0,0 @@
|
|||
make_html2text.sh converts all HTML (.html and .htm) files in the
|
||||
current directory into text files (.txt). For each HTML file, it
|
||||
verifies that the text file does not exists, or is older than the
|
||||
corresponding HTML file; if the text file is more recent, nothing is
|
||||
done.
|
||||
|
||||
To use this script, you will have to install the program html2text.
|
||||
The option -nobs is used to avoid output of formatting sequences (bold,
|
||||
italic, etc.).
|
|
@ -0,0 +1,27 @@
|
|||
latexd.sh
|
||||
=========
|
||||
|
||||
`latexd.sh` is a quick and dirty script that watches a file and calls `make`
|
||||
whenever a change is detected. This is useful to automatically compile a LaTeX
|
||||
document when saved, but can actually be used in any case where you have to
|
||||
call `make` regularly. To detect a change, a MD5 sum of the file is computed.
|
||||
|
||||
This script works well (at least) on GNU/Linux and FreeBSD.
|
||||
|
||||
Limitations :
|
||||
|
||||
- Handles only a single file.
|
||||
- The delay between two checks is not configurable.
|
||||
|
||||
|
||||
make_html2text.sh
|
||||
=================
|
||||
|
||||
`make_html2text.sh` converts all HTML (`.html` and `.htm`) files in the current
|
||||
directory into text files (.txt). For each HTML file, it verifies that the text
|
||||
file does not exists, or is older than the corresponding HTML file; if the text
|
||||
file is more recent, nothing is done.
|
||||
|
||||
To use this script, you will have to install the program `html2text`. The
|
||||
option `-nobs` is used to avoid output of formatting sequences (bold, italic,
|
||||
etc.).
|
Загрузка…
Ссылка в новой задаче