From b7d8d0fc34b97b3a61a701fcd4aee1bef07a92d7 Mon Sep 17 00:00:00 2001
From: Wayne Beaton <wayne@eclipse.org>
Date: Thu, 4 Feb 2016 12:14:13 -0500
Subject: [PATCH] Add a launcher configuration for build.

---
 Make Handbook.launch | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Make Handbook.launch

diff --git a/Make Handbook.launch b/Make Handbook.launch
new file mode 100644
index 0000000..21c7d28
--- /dev/null
+++ b/Make Handbook.launch	
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.ui.externaltools.ProgramLaunchConfigurationType">
+<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${container}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="/bin/make"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="${workspace_loc:/Eclipse Project Handbook/source}"/>
+</launchConfiguration>
-- 
GitLab