Changeset e76bd39

Timestamp:

Feb 1, 2018, 1:48:37 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

d0a045c7

Parents:

cc344be

Message:

Documented makefile for my thesis

File:

• doc/theses/thierry_delisle/Makefile (modified) (2 diffs)

doc/theses/thierry_delisle/Makefile

@@ -122 +122 @@
         fig2dev -L pstex_t -p $@ $< > $@_t
 
+#-----------------------------------------------------------------------------------
+# Tools to generate png files
+# to create a png we create a pdf and convert it to png
+%.png : build/%.pstex figures/%.tex
+        echo ${basename $@}
+        ${LaTeX} figures/${basename $@}.tex
+        dvips build/${basename $@}.dvi -o build/${basename $@}.ps
+        ps2pdf build/${basename $@}.ps
+        convert -negate ${basename $@}.pdf $@
+
+# creating a pdf of a figure requires generating some latex that just includes the figure
 figures/%.tex: build/%.pstex
         echo -n         "\documentclass[preview]{standalone}\n"         \
@@ -134 +145 @@
                         "\end{document}" > $@
 
-%.png : build/%.pstex figures/%.tex
-        echo ${basename $@}
-        ${LaTeX} figures/${basename $@}.tex
-        dvips build/${basename $@}.dvi -o build/${basename $@}.ps
-        ps2pdf build/${basename $@}.ps
-        convert -negate ${basename $@}.pdf $@
-