misc management stuff

2025-12-21 05:18:06 +01:00 · 2000-12-07 00:12:57 +00:00
parent d8d9cc4b0f
commit e186e99789
3 changed files with 23 additions and 0 deletions
--- a/plugins/update-autoconf
+++ b/plugins/update-autoconf
@@ -0,0 +1,11 @@
+#!/bin/sh
+#
+# This file is handy to update all the files generated by autoconf, automake 
+# and friends, quickly.
+#
+
+aclocal
+autoheader
+autoconf
+libtoolize --force --automake
+automake -a --gnu --include-deps