This file is indexed.

/usr/share/dune-common/am/webstuff is in libdune-common-dev 2.2.1-2.

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
53
# -*- makefile -*-
# $Id: webstuff 7077 2013-01-19 10:06:29Z mblatt $

## 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