From: Sergey Poznyakoff <gray@gnu.org.ua>
Date: Fri, 9 Jun 2006 13:48:28 +0000 (+0000)
Subject: Auxiliary script to convert ../src/tar.h to header.texi
X-Git-Url: https://git.brokenzipper.com/gitweb?a=commitdiff_plain;h=19b36aaf60d41b2ca937b8245baeb39ea5523ff5;p=chaz%2Ftar

Auxiliary script to convert ../src/tar.h to header.texi
---

diff --git a/doc/texify.sed b/doc/texify.sed
new file mode 100644
index 0000000..ccc41dd
--- /dev/null
+++ b/doc/texify.sed
@@ -0,0 +1,26 @@
+# Copyright (C) 2006 Free Software Foundation, Inc.
+#
+# GNU tar is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2, or (at
+# your option) any later version.
+#
+# GNU tar is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GNU tar; if not, write to the Free Software
+# Foundation, Inc. 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
+
+1{s,/\*,@comment ,
+b
+}
+2,/.*\*\//{s,\*/,,;s/^/@comment/
+b
+}
+/\/* END \*\//,$d
+s/\([{}]\)/@\1/g
+s,/\*,&@r{,
+s,\*/,}&,