Changeset 4362Tweet

Timestamp:

Feb 11, 2010, 12:35:07 AM (13 years ago)

Author:

Sam Hocevar

Message:

Use Computer Modern fonts instead of that ugly Times.

File:

• neercs/trunk/doc/Makefile.am (modified) (1 diff)

neercs/trunk/doc/Makefile.am

@@ -31 +31 @@
         rm -f latex/neercs.tex latex/neercs.pdf
         mv latex/refman.tex latex/neercs.tex
-        sed 's/setlength{/renewcommand{/' latex/neercs.tex > latex/refman.tex
+        sed 's/setlength{/renewcommand{/' latex/neercs.tex \
+          | sed 's/.*usepackage.*times.*//' > latex/refman.tex
         cd latex && $(MAKE) $(AM_CFLAGS) refman.pdf || (cat refman.log; exit 1)
         mv latex/refman.pdf latex/neercs.pdf