Release: libDAI version 0.3.0
[libdai.git] / scripts / makeREADME
index 02e2961..c16ce74 100755 (executable)
@@ -8,9 +8,9 @@ echo "Date:     $DAI_DATE" >> README
 echo "See also: http://www.libdai.org" >> README
 echo >> README
 w3m -dump doc/html/license.html | awk 'BEGIN {start=0}; $1 ~ /━/ {start=start+1; if (start<2) print $0}; $1 !~ /━/ {if (start>0 && start<2) print $0}' >> README
-echo "You should have received a copy of the GNU General Public License" >> README
-echo "along with libDAI in the file COPYING. If not, see http://www.gnu.org/licenses/" >> README
 echo >> README
 w3m -dump doc/html/citations.html | awk 'BEGIN {start=0}; $1 ~ /━/ {start=start+1; if (start<2) print $0}; $1 !~ /━/ {if (start>0 && start<2) print $0}' >> README
 w3m -dump doc/html/index.html | awk 'BEGIN {start=0}; $1 ~ /━/ {start=start+1; if (start<2) print $0}; $1 !~ /━/ {if (start>0 && start<2) print $0}' >> README
 w3m -dump doc/html/build.html | awk 'BEGIN {start=0}; $1 ~ /━/ {start=start+1; if (start>0 && start<5) print $0}; $1 !~ /━/ {if (start>0 && start<5) print $0}' >> README
+sed -i 's/━/-/g' README
+sed -i 's/•/*/g' README