diff options
Diffstat (limited to 'doc/src/Makefile')
| -rw-r--r-- | doc/src/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile new file mode 100644 index 0000000..30d8838 --- /dev/null +++ b/doc/src/Makefile @@ -0,0 +1,8 @@ +# doc/src/Makefile + +subdir = doc/src +top_builddir = ../.. +include $(top_builddir)/src/Makefile.global + +all distprep html man install installdirs uninstall clean distclean maintainer-clean: + $(MAKE) -C sgml $@ |