From f5f93e7feae9084d08c78ebb42aea26bfd186b44 Mon Sep 17 00:00:00 2001
From: "Robert P. Goldman" <rpgoldman@real-time.com>
Date: Mon, 22 Mar 2010 12:43:16 -0500
Subject: [PATCH] Makefile recipe for pdf-ing the manual.

---
 GNUmakefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/GNUmakefile b/GNUmakefile
index f6d1efb7..8e27b7db 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -72,5 +72,8 @@ manual-html-one-page: asdf.texinfo
 manual-info: asdf.texinfo
 	makeinfo asdf.texinfo
 
+manual-pdf: asdf.texinfo
+	texi2pdf asdf.texinfo
+
 
 FORCE:
-- 
GitLab