rules.mk, tex.mk, header.tex.tmpl: Lots of changes

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

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)
 

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}}