diff options
Diffstat (limited to 'docs/Makefile.am')
-rw-r--r-- | docs/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index 3c0296784..0183f1af5 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -116,4 +116,3 @@ pdf: $(PDFPAGES) distclean: rm -f $(CLEANFILES) - |