Categories
Free Culture Howto links

Script to Convert rms-essays to Plucker Format

#!/bin/bash

# Copyright 2009 Rob Myers
# Licenced under the GPL 3 or, at your option, any later version.

# Produce a Plucker version of Free Software, Free Society
# Some texinfo errors not fixed

# Convert eps images to GIFs

convert images/clib.eps images/clib.gif
convert images/code.eps images/code.gif
convert images/flex.eps images/flex.gif
convert images/free_software_song.eps images/free_software_song.gif
convert images/headMain.eps images/headMain.gif
convert images/party.eps images/party.gif
convert images/richard.eps images/richard.gif
convert images/philosophical-gnu.eps images/philosophical-gnu.gif

# Fix texinfo problems

perl -pe 's/@heading\{(.*)\}/@heading $1/' -i fs_for_freedom.texi

perl -pe 's/^\\input texinfo_times.tex//' \
-i rms-essays.texi

echo "\
@ifnottex
@alias unnumberedfootnote = footnote
@end ifnottex

@ifnottex
@macro sp1
@sp 1
@end macro
@end ifnottex

@include rms-essays.texi
" > rms-essays-html.texi

# Convert to plucker

makeinfo --html --no-headers --no-split --force -o rms-essays.html \
rms-essays-html.texi

perl -pe 's/^(

Comments are closed.