update logos

dbf0bfd4 · Clément DURAND · 3bc550ef · dbf0bfd4 · dbf0bfd4 · dbf0bfd4
Commit dbf0bfd4 authored 5 years ago by Clément DURAND
--- a/source/Makefile
+++ b/source/Makefile
@@ -53,3 +53,7 @@ clean:
 cleandist: clean
 	$(call say,removing doc and package files)
 	@rm -f $(GENFILES)
+
+%.pdf: %.eps
+	ps2pdf -dEPSCrop -dCompressPages=false $< - | \
+		sed '/^..*g$$/ s/^./%/' > $@
--- a/source/polytechnique-logohori.eps
+++ b/source/polytechnique-logohori.eps
--- a/source/polytechnique-logohori.pdf
+++ b/source/polytechnique-logohori.pdf
--- a/source/polytechnique-logovert.eps
+++ b/source/polytechnique-logovert.eps
--- a/source/polytechnique-logovert.pdf
+++ b/source/polytechnique-logovert.pdf
--- a/source/polytechnique.sty
+++ b/source/polytechnique.sty
@@ -365,7 +365,7 @@
            }
        \end{minipage}
    }
-    \renewcommand{\notitlepageupperline}{
+    \renewcommand{\notitlepageupperline}{ 
        \noindent%
        \begin{minipage}{\textwidth}
            \centering