[tor-commits] [tech-reports/master] Rename main .tex file to something globally meaningful.

[karsten at torproject.org]

commit dc4bcb38e7d730ed2c20582fa74c121e7fc9ae31
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Tue Jan 15 16:00:39 2019 +0100

    Rename main .tex file to something globally meaningful.
---
 2018/sponsor19/report1/.gitignore                                 | 3 +++
 2018/sponsor19/report1/Makefile                                   | 8 ++++----
 .../sponsor19/report1/{report1.tex => dos-censorship-report1.tex} | 0
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/2018/sponsor19/report1/.gitignore b/2018/sponsor19/report1/.gitignore
new file mode 100644
index 0000000..a9e5fa3
--- /dev/null
+++ b/2018/sponsor19/report1/.gitignore
@@ -0,0 +1,3 @@
+dos-censorship-report1.pdf
+dos-censorship-report1.toc
+
diff --git a/2018/sponsor19/report1/Makefile b/2018/sponsor19/report1/Makefile
index 556c147..66270af 100644
--- a/2018/sponsor19/report1/Makefile
+++ b/2018/sponsor19/report1/Makefile
@@ -1,7 +1,7 @@
 
 all:
-	pdflatex report1
-	bibtex report1
-	pdflatex report1
-	pdflatex report1
+	pdflatex dos-censorship-report1
+	bibtex dos-censorship-report1
+	pdflatex dos-censorship-report1
+	pdflatex dos-censorship-report1
 	
diff --git a/2018/sponsor19/report1/report1.tex b/2018/sponsor19/report1/dos-censorship-report1.tex
similarity index 100%
rename from 2018/sponsor19/report1/report1.tex
rename to 2018/sponsor19/report1/dos-censorship-report1.tex