From 328023cfe14b453a534f1314e6d4667fa900ae9d Mon Sep 17 00:00:00 2001 From: NishiOwO Date: Wed, 8 Oct 2025 11:41:38 +0000 Subject: [PATCH] useful git-svn-id: http://svn2.nishi.boats/svn/milsko/trunk@223 b9cfdab3-6d41-4d17-bbe4-086880011989 --- tools/doc.pl | 4 +++- tools/update.sh | 10 ++++++++++ 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100755 tools/update.sh diff --git a/tools/doc.pl b/tools/doc.pl index f4341b4..adc015f 100755 --- a/tools/doc.pl +++ b/tools/doc.pl @@ -283,4 +283,6 @@ $html = $html . $stuff; out(" "); out(""); -print($html); +open(OUT, "<", "doc/index.html"); +print(OUT $html); +close(OUT); diff --git a/tools/update.sh b/tools/update.sh new file mode 100755 index 0000000..eb2cdd7 --- /dev/null +++ b/tools/update.sh @@ -0,0 +1,10 @@ +#!/bin/sh +# $Id$ +MAKE=make +if which gmake >/dev/null 2>&1; then + MAKE=gmake +fi +./tools/doc.pl +./tools/genoo.pl +./tools/genmsvc.pl +$MAKE format