From e0f0ca62609662195a397ac849e3519d4af3082e Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Sun, 15 Jul 2001 06:26:44 +0000
Subject: [PATCH] rules.mk, tex.mk, header.tex.tmpl: Lots of changes

---
 make/rules.mk                         | 7 +++++--
 make/tex.mk                           | 3 ++-
 tmpl/tex/en_technical/header.tex.tmpl | 1 +
 3 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/make/rules.mk b/make/rules.mk
index b66ad1dc..97835860 100644
--- a/make/rules.mk
+++ b/make/rules.mk
@@ -51,7 +51,7 @@ installsh: $(ALL)
 	$(INSTALL) $(SHSCRIPTS) $(PREFIX)/bin/
 
 tmpclean:
-	rm -rf *.tmp
+	rm -rf *.tmp *.rep
 
 objclean:
 	rm -rf core .*.o *.o *.a *.so
@@ -67,10 +67,13 @@ doneclean:
 
 execlean: allclean objclean textclean
 
-distclean: clean objclean textclean tmpclean
+distclean: clean objclean textclean tmpclean vcdistclean
 
 localclean:
 	rm -rf $(CLEAN)
 
 libclean:
 	rm -rf $(LIB)
+
+vcdistclean:
+	rm -rf *.plg *.opt *.ncb Debug
diff --git a/make/tex.mk b/make/tex.mk
index 5286e8ed..25d51650 100644
--- a/make/tex.mk
+++ b/make/tex.mk
@@ -189,7 +189,8 @@ html_install: $(HTMLDIR)
 
 clean:
 	@echo "-- cleaning up ..."
-	rm -rf *.aux *.toc *.dvi *.pdf *.ps *~ *.log *.done \
+	rm -rf *.aux *.toc *.dvi *.pdf *.ps *~ *.log *.done *.rep \
+		*.lol \
 		$(NEWDIRS) $(PRE_TEX) $(PRE_HTML) $(OUTPUT).txt \
 		$(LOCAL_IMPORTED_TEMPLATES)
 
diff --git a/tmpl/tex/en_technical/header.tex.tmpl b/tmpl/tex/en_technical/header.tex.tmpl
index 57a0f6e2..939178a8 100644
--- a/tmpl/tex/en_technical/header.tex.tmpl
+++ b/tmpl/tex/en_technical/header.tex.tmpl
@@ -92,6 +92,7 @@
 \newcommand{\ra}{$\rightarrow$\quad}
 \newcommand{\la}{$\leftarrow$\quad}
 \newcommand{\pr}{\texttt}
+\newcommand{\bs}{$\backslash$}
 \newcommand{\pa}{\noindent \paragraph}
 \newcommand{\bv}{\begin{quote}\begin{ttfamily}}
 \newcommand{\ev}{\end{ttfamily}\end{quote}}