diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -16,8 +16,8 @@ all: $(TARGET) $(TEX) $(TEXFLAGS) -jobname=$(basename $<)-tiny '\let\ifshownotes\iffalse\let\ifshowcriticism\iffalse\let\ifshowideas\iffalse\let\ifshowpagenrs\iffalse\input{$<}' %-short.pdf: %.tex handouts.sty - $(TEX) $(TEXFLAGS) -jobname=$(basename $<)-short '\let\ifshownotes\iffalse\let\ifshowcriticism\iffalse\let\ifshowideas\iffalse\input{$<}' - $(TEX) $(TEXFLAGS) -jobname=$(basename $<)-short '\let\ifshownotes\iffalse\let\ifshowcriticism\iffalse\let\ifshowideas\iffalse\input{$<}' + $(TEX) $(TEXFLAGS) -jobname=$(basename $<)-short '\let\ifshowpagenrs\iffalse\let\ifshowcriticism\iffalse\let\ifshowideas\iffalse\input{$<}' + $(TEX) $(TEXFLAGS) -jobname=$(basename $<)-short '\let\ifshowpagenrs\iffalse\let\ifshowcriticism\iffalse\let\ifshowideas\iffalse\input{$<}' %.pdf: %.tex handouts.sty $(TEX) $(TEXFLAGS) $< |