diff options
Diffstat (limited to 'deb/Makefile')
| -rw-r--r-- | deb/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deb/Makefile b/deb/Makefile index a81dc3ad0..18f7d4425 100644 --- a/deb/Makefile +++ b/deb/Makefile @@ -11,3 +11,4 @@ package: clean: vagrant destroy + -rm pandoc pandoc-citeproc |