From f2c2e7da8dd8334b0ae4454fecdb4950ae276525 Mon Sep 17 00:00:00 2001 From: Matteo Cypriani Date: Wed, 6 Jan 2010 22:31:08 +0100 Subject: [PATCH] latexd: Add README and fix header --- latexd/README | 9 +++++++++ latexd/latexd.sh | 4 ++-- 2 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 latexd/README diff --git a/latexd/README b/latexd/README new file mode 100644 index 0000000..a04692e --- /dev/null +++ b/latexd/README @@ -0,0 +1,9 @@ +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. diff --git a/latexd/latexd.sh b/latexd/latexd.sh index 8fabe5f..02c43ef 100755 --- a/latexd/latexd.sh +++ b/latexd/latexd.sh @@ -1,7 +1,7 @@ #!/bin/sh # # latexd.sh, version 1.3, 05/10/2010 -# Copyright © 2006-2010 Matteo Cypriani +# Copyright © 2006-2008, 2010 Matteo Cypriani # # This program is free software. It comes without any warranty, to # the extent permitted by applicable law. You can redistribute it @@ -9,7 +9,7 @@ # To Public License, Version 2, as published by Sam Hocevar. See # http://sam.zoy.org/wtfpl/COPYING for more details. # -# This scripts calls "make" when the given file is modified. +# This scripts calls "make" when the watched file is modified. # ---- # Lancement de la commande "make" à chaque fois que le fichier # surveillé est modifié.