Commit f9e6be6b authored by Roland Levillain's avatar Roland Levillain
Browse files

Prevent todoxygen.sh from generating incomplete outputs.

	* doc/tools/todoxygen.sh: Take an output file as second argument
	instead of an output directory.
	* doc/Makefile.am
	($(TECHNICAL_HH), $(TUTORIAL_HH), $(REF_GUIDE_HH)): Adjust.
	Use a temporary file to prevent  todoxygen.sh from generating
	incomplete outputs.
parent ab842943
2010-03-15 Roland Levillain <roland@lrde.epita.fr>
Prevent todoxygen.sh from generating incomplete outputs.
* doc/tools/todoxygen.sh: Take an output file as second argument
instead of an output directory.
* doc/Makefile.am
($(TECHNICAL_HH), $(TUTORIAL_HH), $(REF_GUIDE_HH)): Adjust.
Use a temporary file to prevent todoxygen.sh from generating
incomplete outputs.
2010-03-15 Roland Levillain <roland@lrde.epita.fr>
 
Adjust todoxygen.sh to TeX4ht outputs.
......@@ -357,7 +357,13 @@ TECHNICAL_HH = $(technical_dir)/technical.hh
# $(TECHNICAL_HTML). Anyway, this shortcut should vanish soon.
technical-html: $(TECHNICAL_HH)
$(TECHNICAL_HH): $(TECHNICAL_HTML) $(doc_dir)/tools/todoxygen.sh
$(doc_dir)/tools/todoxygen.sh $< $(technical_dir) $(doc_dir)
# The script `todoxygen.sh' may fail and still create a (partial and
# invalid) file, thus preventing Make from trying to generate it
# again. The solution is to use a temporary file as output and rename
# it if the script succeeds.
rm -f $@.tmp
$(doc_dir)/tools/todoxygen.sh $< $@.tmp $(doc_dir)
mv -f $@.tmp $@
# Final product.
......@@ -454,7 +460,13 @@ TUTORIAL_HH = $(tutorial_dir)/tutorial.hh
# $(TUTORIAL_HTML). Anyway, this shortcut should vanish soon.
tutorial-html: $(TUTORIAL_HH)
$(TUTORIAL_HH): $(TUTORIAL_HTML) $(doc_dir)/tools/todoxygen.sh
$(doc_dir)/tools/todoxygen.sh $< $(tutorial_dir) $(doc_dir)
# The script `todoxygen.sh' may fail and still create a (partial and
# invalid) file, thus preventing Make from trying to generate it
# again. The solution is to use a temporary file as output and rename
# it if the script succeeds.
rm -f $@.tmp
$(doc_dir)/tools/todoxygen.sh $< $@.tmp $(doc_dir)
mv -f $@.tmp $@
# Final product.
......@@ -657,7 +669,13 @@ REF_GUIDE_HH = $(ref_guide_dir)/ref_guide.hh
# $(REF_GUIDE_HTML). Anyway, this shortcut should vanish soon.
ref-guide-html: $(REF_GUIDE_HH)
$(REF_GUIDE_HH): $(REF_GUIDE_HTML) $(doc_dir)/tools/todoxygen.sh
$(doc_dir)/tools/todoxygen.sh $< $(ref_guide_dir) $(doc_dir)
# The script `todoxygen.sh' may fail and still create a (partial and
# invalid) file, thus preventing Make from trying to generate it
# again. The solution is to use a temporary file as output and rename
# it if the script succeeds.
rm -f $@.tmp
$(doc_dir)/tools/todoxygen.sh $< $@.tmp $(doc_dir)
mv -f $@.tmp $@
# Final product.
......
......@@ -19,10 +19,10 @@
# along with Olena. If not, see <http://www.gnu.org/licenses/>.
test $# -eq 3 \
|| { echo "Usage: $0 <file.html> <output dir> <path to .sty>"; exit 1; }
|| { echo "Usage: $0 <input.html> <output.hh> <path to .sty>"; exit 1; }
html="$1"
out="$2/`basename $1 .html`.hh"
out="$2"
bodyl=`grep -n -i "<BODY" $html | cut -d ':' -f 1`
nlines=`wc -l $html | cut -d ' ' -f 1`
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment