From 225f2afb7e52720f4cf38a4d566a791c4bf7d898 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 27 Dec 2007 17:49:22 +0000
Subject: Remove more Makefile pamphlets

---
 src/etc/ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/etc/ChangeLog')

diff --git a/src/etc/ChangeLog b/src/etc/ChangeLog
index 318967b8..6dff0481 100644
--- a/src/etc/ChangeLog
+++ b/src/etc/ChangeLog
@@ -1,3 +1,7 @@
+2007-12-27  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* Makefile.pamphlet: Remove.
+
 2007-10-10  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* Makefile.pamphlet (INTERPSYS): Take system root directory and
-- 
cgit v1.2.3