From c92795e934758a32472ebc5766ff0f61b1c1409c Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Wed, 31 May 2000 11:28:07 +0000 Subject: [PATCH] Moved old TeX documents to old/ to make them not interfere with doc building. --- doc/{ => old}/banner.tex | 0 doc/{ => old}/status.tex | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename doc/{ => old}/banner.tex (100%) rename doc/{ => old}/status.tex (100%) diff --git a/doc/banner.tex b/doc/old/banner.tex similarity index 100% rename from doc/banner.tex rename to doc/old/banner.tex diff --git a/doc/status.tex b/doc/old/status.tex similarity index 100% rename from doc/status.tex rename to doc/old/status.tex