1 files changed, 22 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/docs/postscript b/resources/scripts/helpers/build/docs/postscript
new file mode 100755
index 00000000..eb754e40
--- /dev/null
+++ b/resources/scripts/helpers/build/docs/postscript
@@ -0,0 +1,22 @@
+#!/bin/sh -e
+#
+# Libreboot documentation build script: postscript
+#
+
+echo "@set librebootbase `pwd`" > docs/constants.texi
+
+basedir="docs/manual/"
+outfile="${basedir}libreboot.ps"
+texinfo_src="docs/libreboot.texi"
+
+[ -d docs/manual ] || mkdir docs/manual
+
+echo "Writing manual: $outfile..."
+# Options: quiet, clean (remove TeX compilation directory)
+# and expand macros using makeinfo
+texi2dvi -q -c -e --ps -o $outfile $texinfo_src
+
+echo "Making $outfile.gz..."
+gzip -f -9 -c $outfile > $outfile.gz 
+
+echo "Done."