/usr/share/dune-common/am/webstuff is in libdune-common-dev 2.4.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | # -*- makefile -*-
## rules to create HTML-pages from wml-files with additional magic to
## possibly use the layout of the Dune-homepage
# if DUNEWEBDIR is set to the dune-web directory the layout and
# install-stuff from that place will be used
# CURDIR should be defined in the same way as in dune-web
####
# how to run wml
if DUNEWEB
WMLCMD = cd $(DUNEWEBDIR) && @WML@ --nocd -DROOT=$(BASEDIR)
else
WMLCMD = cd $(DUNE_COMMON_ROOT)/doc && @WML@ --nocd
endif
####
# how to build html files
if WML
.wml.html:
if test "`dirname $<`" == "."; then \
input="$(abs_srcdir)/$<"; else \
input="$<"; fi; \
$(WMLCMD) -I $(abs_srcdir) $$input -o $(abs_builddir)/$@
endif
####
# howto install into the webpage
if DUNEWEB
web-install-default: doc
if test -d $(DUNEWEBDIR) && test -r $(DUNEWEBDIR)/Make.global ; then \
for DIR in $(SUBDIRS) ; do \
$(MAKE) -C $$DIR web-install || exit 1; \
done ; \
$(MAKE) -f $(DUNEWEBDIR)/Make.global \
EXTRAINSTALL="$(EXTRAINSTALL)" CURDIR="$(CURDIR)" install ; \
fi
else
web-install-default:
endif
####
# how to clean up
web-build: $(PAGES)
web-clean:
-test -z $(PAGES) || rm -f $(PAGES)
doc-clean-local: web-clean
web-install-local: web-install-default
doc-local: web-build
|