diff options
Diffstat (limited to '')
-rw-r--r-- | docs/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/Makefile b/docs/Makefile deleted file mode 100644 index 860aac9..0000000 --- a/docs/Makefile +++ /dev/null @@ -1,10 +0,0 @@ -.SUFFIXES: .texi .pdf .html -.PHONY: all - -all: admin_handbook.html user_handbook.html developer_handbook.html admin_handbook.pdf user_handbook.pdf developer_handbook.pdf - -.texi.pdf: - texi2pdf $< - -.texi.html: - makeinfo --html --no-split $< |