# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 875559192 0
# Node ID e89847e2df848dac15a7462c598edfdbf32c4dae
# Parent  75f1bdf2c886d7ca1b0d11623fb39fcbc44f21cb
Fix name of include file to match 1996-08-24 renaming.

diff -r 75f1bdf2c886 -r e89847e2df84 src/s/dgux4.h
--- a/src/s/dgux4.h	Sat Sep 27 16:12:51 1997 +0000
+++ b/src/s/dgux4.h	Mon Sep 29 18:53:12 1997 +0000
@@ -53,7 +53,7 @@
    the original definition would be lost. */
 #define NO_DGUX_SIGNAL_REDEF
 
-#include "dgux5-4r3.h"
+#include "dgux5-4-3.h"
 
 #define LIBS_DEBUG /* nothing, -lg doesn't exist */